2008 MSC Theses
- MSC-2008-01
Fady Massarwi (Craig Gotsman, Gershon Elber):
Papercraft from 3D Polygonal Models
- MSC-2008-02
Guy Flysher (Reuven Bar-Yehuda):
Approximation Algorithms for Partial Capacitated Covering Problems
- MSC-2008-03
Yulia Dubov (Michael Kaminski):
Infinite alphabet pushdown automata: various approaches and comparison of their consequences
- MSC-2008-04
Kermany Haim (Erez Petrank):
The Compressor: Concurrent, Incremental, and Parallel Compaction
- MSC-2008-05
Einav Itamar (Alon Itai):
Using Movie Subtitles for Creating Statistical Alignment Models
- MSC-2008-06
Yuri Pekelny (Craig Gotsman):
Articulated Object Reconstruction and Motion Capture from Depth Video
- MSC-2008-07
Amjad Aboud (Yuval Rabani):
Correlation Clustering with Penalties and Approximating the Reordering Buffer Management Problem
- MSC-2008-08
Roy Fox (Moshe Tennenholtz):
Reinforcement Learning in Partially Observable Decision Processes
- MSC-2008-09
Li-Tal Mashiach (Ziv Bar-Yossef):
Local Approximation of PageRank and Reverse PageRank
- MSC-2008-10
Saab Mansour (Alon Itai, Yoad Winter):
Combining Character and Morpheme Based Models for Part-Of-Speech Tagging of Semitic Languages
- MSC-2008-11
Gil Gattegno (Illan Shimshoni and Michael Lindenbaum):
Object Recognition Using Geometric Hashing Extensions
- MSC-2008-12
Mark Ginzburg (Prof. Alfred Bruckstein):
Holographic Video-Scene Watermarking in the 3D DFT domain
- MSC-2008-13
Benny Godlin (Ofer Strichman):
Regression Verification: Theoretical and Implementation Aspects
- MSC-2008-14
Alex Kogan (Hagit Attiya):
Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks
- MSC-2008-15
Evelina Zarivach (Yossi Gil):
Evaluating Datalog Programs over Infinite and Founded Databases
- MSC-2008-16
Andrey Klinger (Moshe Tennenholtz):
Stability Against Group Deviations in Non-Cooperative Computation
- MSC-2008-17
Ari Shotland (Roy Friedman):
Efficient Route Discovery in Hybrid Networks
- MSC-2008-18
Benny Yoshpa (Ariel Orda, Assaf Schuster):
Economic Aspects of QoS in Grid Computing
- MSC-2008-19
Ron Gross (Michael Kaminski):
Invariance Under Stuttering in Branching-Time Temporal Logic
- MSC-2008-20
Guy Rosman (Ron Kimmel):
Efficient Flattening in Manifold Learning and Image Processing
- MSC-2008-21
Rotem Oshman (Orna Grumberg):
Bounded Model-Checking for Branching-Time Logic
- MSC-2008-22
Tal Zamir (Assaf Schuster and Michael Factor):
Speculative Lock Acquisition for Fault-Tolerant Distributed Systems
- MSC-2008-23
Adi Mano (Ron Y. Pinter):
Building Phylogenetic Trees Based on Biochemical Pathways
- MSC-2008-24
Anan Marie (Avigdor Gal):
Second Line Schema Matchers
- MSC-2008-25
Ishay Goldin (Alfred M. Bruckstein):
Vesicles and Amoebae: On Globally Constrained Shape Deformation
To the main CS technical reports page