2006 MSC Theses
- MSC-2006-01
Jonathan Naor (Gill Barequet):
d-Dimensional Variants of Heilbronn's Triangle Problem
- MSC-2006-02
Asaf Henig (Danny Raz):
The Transcoders' Placement Problem over Multicast Networks
- MSC-2006-03
Oleg Polonsky (Craig Gotsman):
What's in an Image ? Towards the computation of good views for three-dimensional objects.
- MSC-2006-04
Dolev Dotan (Ron Pinter):
HyperFlow: a Visual, Ontology-Based Query and Data-Flow Language for End-User Information Analysis
- MSC-2006-05
Sivan Sabato (Yoad Winter):
The Semantics of Reciprocal Expressions in Natural Language
- MSC-2006-06
Bella Dubrov (Yuval Ishai):
On the Randomness Complexity of Efficient Sampling
- MSC-2006-07
Roman Golubchyck (Michael Lindenbaum):
IMPROVING THE SALIENCY ALGORITHM BY GROUPING CUES OPTIMIZATION
- MSC-2006-08
Emilia Katz (Shmuel Katz):
Verifying Scenario-Based Aspect Specifications
- MSC-2006-09
Alexander Lyakas (Eliezer Kantorowitz):
Specification-Oriented Construction of Web Information Systems
- MSC-2006-10
Ido Feldman (Reuven Bar-Yehuda):
2+epsilon approximation algorithm for convex recoloring of trees
- MSC-2006-11
Keren Censor (Tuvi Etzion):
Constrained Codes for Two-Dimensional Channels
- MSC-2006-12
Roman Feldman (Dov Dori):
Designing Data Warehouses with Object Process Methodology
- MSC-2006-13
Nela Gurevich (Shaul Markovitch, Ehud Rivlin):
Automatic Generation Of Near Misses For Active Learning Of Visual Concepts
- MSC-2006-14
Denis Krivitski (Assaf Schuster):
A Local Facility Location Algorithm for Large-Scale Distributed Systems
- MSC-2006-15
Alexander Shraer (Idit Keidar):
Timeliness, Failure-Detectors, and Consensus Performance
- MSC-2006-16
Shimon Golan (Ron Y. Pinter, Avigdor Gal):
Efficient algorithms for computing resource availability in WAA environments
- MSC-2006-17
Liza Fireman (Erez Petrank):
The Complexity of SIMD Alignment
- MSC-2006-18
Sharon Krisher (Oded Shmueli):
On XML Schema Identity Constraints
- MSC-2006-19
Tali Lerner (Moshe Gur, Ehud Rivlin):
Motion Correction In fMRI Images
- MSC-2006-20
Jacob Subag (Gershon Elber):
Piecewise Developable Surface Approximation of General NURBS Surfaces, with Global Error Bounds
- MSC-2006-21
Guy Sela (Gershon Elber):
Exploiting the Free Form Deformation Function as a Geometric Modeling Tool
- MSC-2006-22
Rachel Tzoref (Orna Grumberg):
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
- MSC-2006-23
Max Goldman (Shmuel Katz):
Modular Verification of Aspects
- MSC-2006-24
Daniel Zeitlin (Michael Kaminski):
Look-ahead finite-memory automata
- MSC-2006-25
Avishay Sidlesky (Gill Barequet, Craig Gotsman):
Polygon Reconstruction from Line Cross-Sections
- MSC-2006-26
Oren Katzengold (Avi Mendelson, Assaf Schuster):
Effective use of trace caches
- MSC-2006-27
Ofir Avni (Ehud Rivlin):
Biologically Motivated Modeling and Imitating the Chameleon's
- MSC-2006-28
Ratsaby Gil (Tal Mor):
Quantum Advantage Even Without Entanglement
- MSC-2006-29
Amir Vaxman (Gill Barequet):
Nonlinear Interpolation between Slices
- MSC-2006-30
Ehab Wattad (Nader Bshouty):
On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle
- MSC-2006-31
Amir Rubinstein (Ron Pinter, Yona Kassir):
Faithful Modeling of Transient Behavior in Developmental Pathways
- MSC-2006-32
Dmitry Datsenko (Michael Elad):
Example-Based Regularization in Inverse Problems
- MSC-2006-33
Yaron Goren (Yuval Ishai):
Basing Weak Public-Key Cryptography on Strong One-Way Functions
To the main CS technical reports page