2010 MSC Theses
- MSC-2010-01
Yael Meller (Orna Grumberg):
Multi-Valued Abstraction and Compositional Model Checking
- MSC-2010-02
Sofia Liberman (Shaul Markovitch):
Wikipedia-based Compact Hierarchical Semantics for Natural Language Processing
- MSC-2010-03
Shir Ben-Israel (Eli Ben-Sasson):
Symmetry Breaking can Dramatically Reduce the Length of Propositional Refutations
- MSC-2010-04
Masha Belchich (Gershon Elber):
Sketch Based Design of 2D and 3D Freeform Geometry
- MSC-2010-05
Daniel Vainsencher (Alfred M Bruckstein):
2D Digital Balls
- MSC-2010-06
Ofer Egozi (Shaul Markovitch):
Concept-Based Information Retrieval using Explicit Semantic Analysis
- MSC-2010-07
Dan Albocher (Gershon Elber):
Real-Time Haptic Simulator for Surgical Procedures
- MSC-2010-08
Iddo Bentov (Nader Bshouty):
On Exact Learning from Random Walk
- MSC-2010-09
Noga Zewi (Ron Aharoni, Seffi Naor):
Vector Representation of Graph Domination
- MSC-2010-10
Artyom Sharov (Ronny Roth):
Coding Techniques for Multidimensional Constrained Channels
- MSC-2010-11
Adam Carmi (Michael Kaminski, Ron Pinter):
Adaptive Multi-Pass Parsing
- MSC-2010-12
Raviv Elazar (Hadas Shachnai):
Algorithms For Two-Tier Scalable Data Upload
- MSC-2010-13
Gil Cohen (Amir Shpilka):
On the Degree of Symmetric Functions on the Boolean Cube
- MSC-2010-14
David Peles (Prof Michael Lindenbaum):
Segmentation by Classification
- MSC-2010-15
Sagi Ben Moshe (Eldar Fischer):
Using Property Testing for Efficient Detection of Nearly-Sorted Relations
- MSC-2010-16
Artiom Myaskouvskey (Michael Lindenbaum):
Using a contrario methodology for part-based object detection
- MSC-2010-17
Avishay Livne (Assaf Schuster, Daniel Keren):
Monitoring Distributed Data Streams
- MSC-2010-18
Mordechai Nisenson (Ran El-Yaniv):
On the Foundations of Adversarial Single-Class Classification
- MSC-2010-19
Nir Kerem (Alon Itai):
Effects of Typicality on the Interpretation of Reciprocal Expressions
- MSC-2010-20
Yevgenia Alperin (Shmuel Katz):
Property Analysis and Automatic Detection of Aspect Categories
- MSC-2010-21
Viacheslav Chernoy (Shmuel Zaks, Modrechai Shalom):
On the Performance of Dijkstra's Third Self-Stabilizing Algorithm for Mutual Exclusion and Related Algorithms
- MSC-2010-22
Daniel Genkin (Michael Kaminski):
Radical Lexicalization of Mildly Context-Sensitive Languages
To the main CS technical reports page