הטכניון מכון טכנולוגי לישראלהטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים
   דף הבית   |   דבר הדיקן   |   הרשמה   |   טפסים   |   תיזות ומחקרים   |   מועדים חשובים   |   תכניות הלימודים   |   מידע אישי   |   מידע כללי 
  מתעניינים בלימודים
  חדשים
  לומדים
  מלגות, מעונות
  השתלמויות,לימודים וכנסים בחו"ל
  מסיימים
  International Students
  בוגרים
  בתר דוקטורנטים [פוסט-דוקטורנטים]
  מידע למנחה

הודעות

M.Sc Theses

Department:Computer Science
Department Web Site: www.cs.technion.ac.il


No. Student's Name Advisors Graduation
Year
Abstracts
Theses Abstract Title
0 Tomer Levy 2017 Abstracts
Fajita - a Fluent API for Automatic Generation of Fluent APIs in Java
1 Matan Hamilis 2017 Abstracts Theses Parallel Additive Fast Fourier Transform Algorithms
2 Evgenya Pergament 2017 Abstracts
Algebraic RAM
3 Avi Kaplan 2017 Abstracts Theses Interpreting the Ratio Criterion for Matching SIFT Descriptors
4 Eyal Moscovici 2017 Abstracts
Towards Sidecore Management for Virtualized Environments
5 Roni Licher 2017 Abstracts Theses Hardening Cassandra Against Byzantine Failures
6 Naama Haramaty Krasne 2017 Abstracts Theses Low-Complexity Cryptographic Hash Functions
7 Tal Regev 2017 Abstracts
Multi- Robot Decentralized Belief Space Planning in Unknown Environments
8 Ran Bernstein 2017 Abstracts
Laban Movement Analysis and LDA Distributed Monitoring
9 Gal Maor 2017 Abstracts Theses Information Theory and Privacy Related Questions in Communication Comlexity
10 Gal Cohen 2017 Abstracts Theses On routing schemes that are robust to changes in bandwidth demand
11 Tehila Mayzels 2017 Abstracts
Software Management of Hardware Memory Versioning
12 Rina Levy 2017

Fast Distributed Approximation for Max-Cut
13 Areej Costa 2017 Abstracts
Exact Learning of Juntas from Membership Queries
14 Yi Ren 2017 Abstracts Theses Example-Based Image Synthesis via Randomized Patch-Matching
15 Yael Mordechai 2016 Abstracts Theses Optimization and Reoptimization in Scheduling Problems
16 Anat Berkman 2016 Abstracts Theses Scenario based programming for Mobile Applications
17 Karam Abdelkader 2016 Abstracts Theses Automated Circular Assume-Guarantee Reasoning
18 Evgeny Abramovich 2016 Abstracts Theses Static Mining of Common Concurrency Patterns
19 Arie Rond 2016 Abstracts Theses Handling poisson Inverse Problems by the Plug-and-Play Priors Scheme
20 Nir Hershko 2016 Abstracts
3D Augmentations of 2D Maps
21 Nitsan Chrizman Cherkassky 2016 Abstracts Theses How to Construct Multilingual Domain Ontologies
22 Jonathan Andre Wagner 2016 Abstracts Theses Multiplicative Approximation Algorithms for Generalized Covering and Packing Problems
23 Ilya Lesokhin 2016 Abstracts Theses I/O Page Faults
24 Irena Grabovitch-Zuyev 2016 Abstracts Theses Entity search in Facebook
25 Omer Geiger 2016 Abstracts Theses Algorithmic Exam Generation
26 Erez Timnat 2016 Abstracts Theses The List Update Problem
27 Aviv Segall 2016 Abstracts
2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates
28 Iddo Zmiry 2016 Abstracts Theses Lola - A Programming Language for Augmenting Programming Languages
29 Shir Yadid 2016 Abstracts Theses Extracting Code from Programming Tutorial Videos
30 Jalil Moraney 2016 Abstracts Theses Efficient Detection of Flow Anomalies with Limited Monitoring Resources
31 Noam Segev 2016 Abstracts Theses Transfer Learning using Decision Forests
32 Alexandre Djerbetian 2016 Abstracts Theses Tangent Vector Fields on Triangulated Surfaces - An Edge-Based Approach
33 Avi Stiefel 2016 Abstracts Theses Motion Planning in the Presence of Mobile Obstacles
34 Eric Yudin 2015 Abstracts Theses Improving Facial Expression Analysis via Intrinsic Normalization of Surfaces
35 Raziel David Hess Green 2015 Abstracts Theses When a Router Tells Different Stories to Different Neighbors: A New Partition Attack on Link-State Routing Protocols
36 Ella Bolshinsky 2015 Abstracts Theses Towards an Autonomous Sailing Trainer
37 Shmuel Ben-Yehuda 2015 Abstracts
The nom Profit-Maximizing Operating System
38 Noa Elad 2015 Abstracts Theses Online Semidefinite Programming
39 Gil Briskin 2015 Abstracts Theses Estimating Pose and Motion Using Bundle Adjustment and Digital Elevation Model Consraints
40 Eli Sennesh 2015 Abstracts Theses Unstructured Jumps and Compressed Size as Defect-Prediction Metrics
41 Tariq Toukan 2015 Abstracts Theses Fault-Tolerant Information Spreading Algorithms
42 Eldar Aharoni 2015 Abstracts Theses Direct Sum Related Problems in Communication Complexity
43 Moshe Malka 2015 Abstracts Theses Rethinking the I/O Memory Management Unit (IOMMU)
44 Meital Zilberstein 2015 Abstracts Theses Code Similarity via Natural Language Descriptions
45 Omer Peleg 2015 Abstracts
Utilizing the IOMMU Scalably
46 Gregory Borodin 2015 Abstracts
Efficient Query Recommendation
47 Eitan Rosenfeld 2015 Abstracts Theses RAIDP: Replication with Intra-Disk Parity
48 Yossi Kuperman 2015 Abstracts Theses vRio: Efficient Paravirtual Remote I/O
49 Alexander Nus 2015 Abstracts Theses Migration Plans with Minimum Overall Migration Time
50 Rami Jioussy 2015 Abstracts Theses Enhancing Energy-Performance for Power Constrained SoC Systems
51 Ido Gonen 2015 Abstracts Theses Defending against Eclipse Attacks in Unstructured Overlays
52 Ran Ben Basat 2015 Abstracts Theses Parameterized Automata Constructions and Their Applications
53 Nadia Labai 2015 Abstracts Theses Definability and Hankel Matrices
54 Liat Peterfreund 2015 Abstracts
Closure under Reversal of Languages over Infinite Alphabets: A Case Study
55 Yoav Kantor 2014 Abstracts Theses Combining Erasure-Code and Replication Redundancy Schemes for Increased Storage and Repair Efficiency in P2P Storage Systems
56 Ben Lee Volk 2014 Abstracts Theses On the Structure of Boolean Functions with Small Spectral Norm
57 Alaa Ghanayim 2014 Abstracts Theses Iterative Referencing for Improving the Interpretation of DNA Sequence Data
58 Nir Shmuel Hauser 2014 Abstracts Theses COARA: Code Offloading on Android with RMI and Aspects
59 Boris Cherevatsky 2014 Abstracts Theses Estimating Epipolar Geometry for Mobile Robots
60 Alexander Zlotnik 2014 Abstracts Theses Efficient Use of Geographically Spread Cloud Resources
61 Maor Grinberg 2014 Abstracts Theses Comprehensive Free Handed 3D User Interface for Geometric Design Systems
62 Rouven Strauss 2014 Abstracts Theses Geometric Multi-Covering
63 Yehonatan Goldman 2014 Abstracts Theses Robust Epipolar Geometry Estimation Using Noisy Pose Priors
64 Kayla Jacobs 2014 Abstracts Theses Hebrew Acronym: Identification; Expansion and Disambiguation
65 Eyal Kibar 2014 Abstracts Theses E-Wolf: A Distributed Online Social Network
66 Michael Baltaxe 2014

Probabilistic Local Variation Segmentation
67 Elior Malul 2014 Abstracts Theses Towards Temporal Correctness of Event Processing
68 Dima Elenbogen 2014 Abstracts Theses Proving Mutual Termination of Programs
69 David Wajc 2014 Abstracts Theses Parameterizing P: Proximity to Easy Variants
70 Hasan Abasi 2014 Abstracts Theses On r-Simple k-Path
71 Nitzan Shapira 2014 Abstracts Theses Cross-Collection Map Inference by Intrinsic Alignment Shape Spaces
72 Denis Rybnikov 2014 Abstracts Theses A Semi-Automatic System for Non-Rigid Matching and Temporally Coherent 3D Shading of Animation Sequences
73 Amir Geva 2013 Abstracts Theses Far Field Surveillance Target Classification
74 Ranit Gotsman 2013 Abstracts Theses Generating Map-based Routes from GPS Trajectories and their Compact Representation
75 Yosi Atia 2013 Abstracts Theses Algorithmic Cooling of Spins by Optimal Control
76 Michael Beder 2013 Abstracts Theses Approximation Algorithms for Resource Scheduling and Allocation Problems
77 Netanel Raviv 2013 Abstracts Theses Truth Table Minimization of Computational Models
78 Erez Druk 2013 Abstracts Theses Linear Time Encodable Codes and Cryptography
79 Assaf Israel 2013 Abstracts Theses Cost Aware Fault Recovery in Clouds
80 Roman Zeyde 2013 Abstracts Theses Computational Electrokinetics
81 Nadav Shragai 2013 Abstracts Theses Geometric Covering
82 Sabih Agbaria 2013 Abstracts Theses On Incomplete Bug Fixes and Programmers' Intuition on These
83 Dmitry Pidan 2013 Abstracts Theses Selective Prediction with Hidden Markov Models
84 Yoav Haimovitch 2013 Abstracts Theses Large-Scale Semi-Supervised Sentiment Analysis
85 Shaked Flur 2013 Abstracts Theses Weak Omega Automata
86 Moshe Gabel 2013 Abstracts Theses Unsupervised Anomaly Detection in Large Datacenters
87 Mordechai Porat 2013 Abstracts Theses A Semantic Approach to User Interface Design
88 Omer Strulovich 2013 Abstracts Theses Lossy Chains and Fractional Secret Sharing
89 Pavel Gurevich 2013 Abstracts Theses Experimental Quantum Key Distribution with Classical Alice
90 Hanna Fadida 2013 Abstracts Theses Automatic Extraction of Subcategorization Frames for Hebrew
91 Assaf Rappaport 2013 Abstracts Theses Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems
92 Eyal Posener 2013 Abstracts Theses Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auction
93 Shay Ben-Elazar 2013 Abstracts Theses Computational Methods for Analyzing Gene Regulation in Model Organisms
94 Ami Paz 2013 Abstracts Theses Counting-Based Impossibility Proofs for Distributed Tasks
95 Karine Even 2013 Abstracts Theses Finding Rate Numerical Stability Errors in Concurrent Computations
96 Alon Mishne 2013 Abstracts Theses Programming with Millions of Examples - Scalable Static Specification Mining
97 Raeda Naamneh 2013 Abstracts Theses Fair Multi-Label Reconstruction from Cross-Sections
98 Haggai Toledano 2013 Abstracts Theses Coverage-Driven Refinement of Conceptual Representations
99 Avishai Gretz 2013 Abstracts Theses Syntactic Annotation of Hebrew CHILDES Corpora
100 Itamar Hartstein 2012 Abstracts Theses On the Complexity of the Regenerator Location Problem - Treewidth and Other Parameters
101 Haggai Eran 2012 Abstracts Theses A Study of Data Structures with a Deep Heap Shape
102 Muhammad Magadla 2012 Abstracts Theses Accelerating CIFS over Satellite Networks
103 Pavel Bar 2012 Abstracts Theses Resource Management in Grid Environments
104 Carmi Grushko 2012 Abstracts Theses Continuous Symmetries of Non-rigid Shapes
105 Uri Avraham 2012 Abstracts Theses ABC - A New Framework for Symmetric Block Ciphers
106 Kolman Vornovitsky 2012 Abstracts Theses Abstractions for Devising Compact Controllers for MDPs
107 Yuval Shimron 2012 Abstracts Theses Smaller Footprint for Java Collections
108 David Ben-David 2012 Abstracts Theses Violation Resolution in Distributed Stream Networks
109 Avishay Tal 2012 Abstracts Theses On The Minimal Fourier Degree of Symmetric Boolean Functions
110 Alexandra Faynburd 2012 Abstracts Theses Autoregressive Short-Term Prediction of Turning Points Using Support Vector Regression
111 Daniel Hurwitz 2012

Morphological and Lexical Decomposition as a Basis for Identifying Multiword Expressions
112 Amit Portnoy 2012 Abstracts Theses TrustPack: a Decentralized Trust Management Framework
113 Avihai Mejer 2012 Abstracts Theses Confidence Estimation in Structured Predicition
114 Naama Kraus 2012 Abstracts Theses Context-Aware Query Suggestion
115 Ariel Raviv 2012 Abstracts Theses Concept-Based Approach to Word-Sense Disambiguation
116 Vadim Eisenberg 2012 Abstracts Theses Programming Applications over the Semantic-Web
117 Michael Kuperstein 2012 Abstracts Theses Preserving Correctness Under Relaxed Memory Models
118 Omer Levy 2012 Abstracts Theses Teaching Machines to Learn by Metaphor
119 Ran Zemach 2012 Abstracts Theses Algebraic Collocation Coarse Approximation (ACCA) in Multigrid
120 Amir Abboud 2012 Abstracts Theses Monitoring General Functions in Distributed Systems with Minimal Communication
121 Eyal Regev 2012 Abstracts Theses Multi Agent Systems in Stochastic Dynamic Environments
122 Tomer Koren 2012 Abstracts Theses Learning Linear Support Vector Machines in Sublinear Time
123 Igor Kviatkovsky 2012 Abstracts Theses Color Invariants for Person Re-Identification
124 Elad Gidron 2012 Abstracts Theses Exploiting Locality and NUMA in Scalable Conncurrent Libraries
125 Dan Garber 2012 Abstracts Theses Approximating Semidefinite Programs in Sublinear Time
126 Jonathan Yaniv 2011 Abstracts Theses Truthful Mechanisms for Value-Based Scheduling in Cloud Computing
127 Viacheslav Chernoy 2011 Abstracts Theses On the Performance of Dijkstra's Third Self-Stabilizing Algorithm for Mutual Exclusion and Related Algorithms
128 Daniel Genkin 2011 Abstracts Theses Radical Lexicalization of Mildly Context-Sensitive Languages
129 Dmitry Zinenko 2011 Abstracts Theses Communication-Efficient Self-Stabilization
130 Edward Vitkin 2011 Abstracts Theses Functional Genomics Based Approach for Reconstruction of Genome Scale Metabolic Network Models
131 Anna Bendersky 2011 Abstracts Theses On the Limits of Partial Compaction
132 Katherine Barabash 2011 Abstracts Theses Scalable Garbage Collection on Highly Parallel Platforms
133 Boaz Brickner 2011 Abstracts Theses Methods for Recognition by Graphical Style and Style Synthesis Using Local Analysis
134 Israel Shalom 2011 Abstracts Theses Online Load-Distance Balancing
135 David Yanay 2011 Abstracts Theses Supervised Learning of Semantic Relatedness
136 Shachar Shem-Tov 2011 Abstracts Theses Topics in Over-Parametrization Variational Methods
137 Anat Hashavit 2011 Abstracts Theses Unbiased Rational Decision Making in Multiple-Adversary Environments
138 Amit Bermano 2011 Abstracts Theses Online Reconstruction of 3D Objects from Arbitrary Cross- Section Data
139 Gilad Kutiel 2011 Abstracts Theses Cost-Aware Live Migration of Services in the Cloud
140 Gleb Polevoy 2011 Abstracts Theses Bandwidth Allocation in Cellular Networks with Multiple Interferences
141 Anna Shulman 2011 Abstracts Theses A Density Driven Publish Subscribe Service for Mobile Ad-Hoc Networks
142 Ariel Kulik 2011 Abstracts Theses Submodular and Linear Maximization with Knapsack Constraints
143 Neer Roggel 2011 Abstracts Theses Anonymous Routing for Mobile Ad Hoc Networks
144 Roi Adadi 2011 Abstracts Theses Prediction of Microbial Growth Rate versus Biomass Yield by a Metabolic Network with Kinetic Parameters
145 Ilia Nudelman 2011 Abstracts Theses Dependent UFP On a Shared Channel With Application to a Network Centric Operation
146 Tom Kolan 2011 Abstracts Theses Coding Techiques for Burst Errors
147 Omer Weissbrod 2011 Abstracts Theses Genetic Linkage Analysis in the Presence of Germline Mosaicism
148 Shir Ben-Israel 2010 Abstracts Theses Symmetry Breaking Can Dramatically Reduce the Length of Propositional Refutations
149 Gil Cohen 2010 Abstracts Theses On the Degree of Symmetric Functions on the Boolean Cube
150 Avishay Livne 2010 Abstracts Theses Monitoring Distributed Data Streams
151 Masha Belchich 2010 Abstracts Theses Sketch Based Design of 2D and 3D Freeform Geometry
152 Raviv Elazar 2010 Abstracts Theses Algorithms for Two-Tier Scalable Data Upload
153 David Peles 2010 Abstracts Theses Segmentation by Classification
154 Dan Albocher 2010 Abstracts Theses Real-Time Haptic Simulation for Surgical Procedures
155 Adam Carmi 2010 Abstracts Theses Adaptive Multi-Pass Parsing
156 Sagi Ben Moshe 2010 Abstracts Theses Using Property Testing for Efficient Detection of Nearly-Sorted relations
157 Iddo Bentov 2010 Abstracts Theses On Exact Learning from Random Walk
158 Artiom Myaskouvskey 2010 Abstracts Theses Using A Contrario Methology for Part-Based Object Detection
159 Nir Kerem 2010 Abstracts Theses Effects of Typicality on the Interpretation of Reciprocal Expressions
160 Sofia Liberman 2010 Abstracts Theses Wikipedia-Based Compact Hierarchical Semantics for Natural Language Processing
161 Yael Meller 2010 Abstracts Theses Multi Valued Abstraction and Compositional Model Checking
162 Yevgenia Alperin 2010 Abstracts Theses Property Analysis and Automatic Detection of Aspect Categories
163 Silvina Rybnikov 2010 Abstracts
Building a Non-Euclidean Roadmap from a Small Set of Images
164 Ofer Egozi 2010 Abstracts Theses Concept-Based Information Retrieval Using Explicit Semantic Analysis
165 Daniel Vainsencher 2010 Abstracts Theses 2D Digital Balls
166 Mordechai Nisenson 2010 Abstracts Theses On the Foundations of Adversarial Single-Class Classification
167 Noga Ron-Zewi 2010 Abstracts Theses Vector Representation of Graph Domination
168 Artyom Sharov 2010 Abstracts Theses Coding Techniques for Multidimensional Constrained Channels
169 Asenath Tal 2009 Abstracts Theses Algorithms for Heilbronn's Triangle Problem
170 Tali Shragai 2009 Abstracts Theses Empiric Evaluation of the Usability of Virtual Function Calls within Constructors
171 Raja Giryes 2009 Abstracts Theses Automatic Parameter Tuning for Inverse Problems
172 Nir Shemy 2009 Abstracts Theses QoS Enforcement for Web Services in Dynamic Networks
173 Noam Mori 2009 Abstracts Theses 3DLS:Density-Driven Data Location Service for Mobile Ad-Hoc Networks
174 Kfir Karmon 2009 Abstracts Theses Enforcing a Global Resource Quota in a grid Environment
175 Alexandra Skolozub 2009 Abstracts Theses Conditional Integration of Biological Pathways
176 Michael Ryabtsev 2009 Abstracts Theses Translation Validation: from Simulink to C
177 Anna Tzemach 2009 Abstracts Theses Preparing SNP Data For Genetic Linkage Analysis
178 Ran Gelles 2009 Abstracts Theses On the Security of Theoretical and Realistic Quantum Key Distribution Schemes
179 Yochay Tzur 2009 Abstracts Theses Photogrammetric Texture Mapping Using Casual Images
180 Aezalden Mhameed 2009 Abstracts Theses Locally vs. Globally Optimized Flow-Based Content Distribution to Mobile Nodes
181 Evgeny Shaphir 2009 Abstracts Theses Interconnect-Driven Cell-Based Migration of Integrated Circuit Layout
182 Ezer Bar-Aviv 2009 Abstracts Theses Function Based Object Categorization Using Simulation of an Agent
183 Lila Shnaiderman 2009 Abstracts Theses Incermental Reclustering of Augmented XML Trees
184 Yohai Devir 2009 Abstracts Theses Intrinsic Regularization of Inverse Problems Involving Non-Rigid Shapes
185 Eitan Yaakobi 2008 Abstracts Theses Codes for Correcting Multi-Dimensional Bursts
186 Einav Itamar 2008 Abstracts Theses Using Movie Subtitles for Creating Statistical Alignment Models
187 Adi Mano 2008 Abstracts Theses Building Phylogenetic Trees Based on Biochemical Pathways
188 Guy Rosman 2008 Abstracts Theses Efficient Flattening in Manifold Learning and Image Processing
189 Roy Fox 2008 Abstracts Theses Reinforcement Learning in Partially Observable Decision Processes
190 Guy Flysher 2008 Abstracts Theses Approximation Algorithms for Partial Capacitated Covering Problems
191 Rotem Oshman 2008 Abstracts Theses Bounded Model - Checking for Branching-Time Logic
192 Ari Shotland 2008 Abstracts Theses Efficient Route Discovery in Hybrid Networks
193 Li-Tal Mashiach 2008 Abstracts Theses Local Approximation of PageRank and Reverse PageRank
194 Fady Massarwi 2008 Abstracts Theses Papercrafts from 3D Polygonal Models
195 Anan Marie 2008 Abstracts Theses Second Line Schema Matchers
196 Zvi Devir 2008 Abstracts Theses Generalized Blind Sampling of Images
197 Ishay Goldin 2008 Abstracts Theses Vesicles and Amoebae: On Globally Constrained Shape Deformation
198 Amjad Aboud 2008 Abstracts Theses Correlation Clustering with Penalties and Approximating the Recordering Buffer Management Problem
199 Dan Raviv 2008 Abstracts Theses Symmetries of Non-rigid Shapes
200 Benny Godlin 2008 Abstracts Theses Regression Verification: Theoretical and Implementation Aspects
201 Saeb Mansour 2008 Abstracts Theses Combining Character and Morpheme Based Models for Part-of- Speech Tagging of Semitic Languages
202 Ron Gross 2008 Abstracts Theses Invariance under Stuttering in Branching-Time Temporal Logic
203 Haim Kermany 2008 Abstracts Theses The Compressor: Concurrent, Incremental, and Parallel Compaction
204 Tal Zamir 2008 Abstracts Theses Speculative Lock Acquisition for Fault-Tolerant Distributed Systems
205 Gil Gattegno 2008 Abstracts Theses Object Recognition Using Geometric Hashing Extensions
206 Arie Orlovsky 2008 Abstracts Theses Decentralized Enforcement of Security Policies for Distributed Computational Systems
207 Evelina Zarivach 2008 Abstracts Theses Evaluating Datalog Programs over Infinite and Founded Databases
208 Mark Ginzburg 2008 Abstracts Theses Holographic Video-Scene Watermarking in the 3D-DFT Domain
209 Yulia Dubov 2008 Abstracts Theses Infinite Alphabet Pushdown Automata: Various Approaches and Comparison of Their Consequences
210 Andrey Klinger 2008 Abstracts Theses Stability against Group Deviations in Non-Cooperative Computation
211 Alex Kogan 2008 Abstracts Theses Efficient and Robust Local Mutual Exclusion in Mobile Ad- Hoc Networks
212 Yuri Pekelny 2008 Abstracts Theses Articulated Object Reconstruction and Motion Capture from Depth Video
213 Bennyamin Yoshpa 2008 Abstracts Theses Economic Aspects of QoS in Grid Computing
214 Yaron Goren 2007 Abstracts Theses Basing Weak Public-Key Cryptography on Strong One-Way Functions
215 Eran Eden 2007 Abstracts Theses Discovering Motifs in Ranked Lists of DNA Sequences
216 Olga Rozenfeld 2007 Abstracts Theses Strong Equilibrium in Congestion Games
217 Hanna Mazzawi 2007 Abstracts Theses Learning Composed Classes with a Small Number of Mistakes
218 Dmitry Datsenko 2007 Abstracts Theses Example-based Regularization in Inverse Problems
219 Gregory Shklover 2007 Abstracts Theses Explicitly-Parallel Code Compilation Methods for Shared- Context Architecture
220 Eliyahu Osherovich 2007 Abstracts Theses Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt Systems
221 Michael Pechuk 2007 Abstracts Theses Function-based Object Recognition
222 Erez Brickner 2007 Abstracts Theses The Populating Problem A Study in Multi-Nano-Robotics
223 Iddit Shalem 2007 Abstracts Theses Multilevel Two-dimensional Phase Unwrapping
224 Roman Gershman 2007 Abstracts Theses Improvements of SAT Solving Techniques
225 Sela Mador-Haim 2007 Abstracts Theses Natural Language Interface for Geographical Information Systems
226 Alik Zamansky 2007 Abstracts Theses A Framework for Surface Reconstruction of Sparsely- Sampled Objects
227 Laurence Bisht 2007 Abstracts Theses On Optimal Learning Algorithms for Multiplicity Automata
228 Ido Guy 2007 Abstracts Theses Cluster Ranking with an Application to Mining Mailbox Networks
229 Omer Yehezkely 2007 Abstracts Theses Approximation Schemes for Packing with Item Fragmentation
230 Yan Tsitrin 2007 Abstracts Theses Master-Slave Dependency Model and its Application to the Hebrew Understanding
231 Shay Ohayon 2007 Abstracts Theses A Computational Analysis of Biological Behavior: Interactions of Gaze Control and Visual Attention
232 Amir Rubinstein 2007 Abstracts Theses Faithful Modeling of Transient Behavior in Developmental Pathways
233 Yonit Magid 2007 Abstracts Theses BSS Model of Computation over the Reals and Choice Operator
234 Alina Shaikhet 2007 Abstracts Theses The On-Line Heilbronn's Triangle Problem in d Dimensions
235 Benjamin Grimberg 2007 Abstracts Theses Minimal Model semantics for First-Order Ground Non-Monotonic Modal Logic
236 Avishay Sidlesky 2006 Abstracts Theses Polygon Reconstruction from Line Cross-Sections
237 Keren Censor Hillel 2006 Abstracts
Constrained Codes for Two-Dimensional Channels
238 Dolev Dotan 2006 Abstracts
HyperFlow: a Visual, Ontology-Based Query and Data-Flow Language for End-User Information Analysis
239 Dimitry Kloper 2006 Abstracts
Geometries and Topologies of Triangulations of Point Sets
240 Amir Adler 2006 Abstracts
Reducing Memory Requirements for Pattern Databases
241 Roman Feldman 2006 Abstracts
Designing Data Warehouse with Object-Process Methodology
242 Asaf Henig 2006 Abstracts
The Transcoders' Placement Problem over Multicast Networks
243 Gil Ratsaby 2006 Abstracts Theses Quantum Advantage, even without Entanglement
244 Itai Sharon 2006 Abstracts
Similarity Detection for Low Complexity and Remotely Related Proteins
245 Denis Krivitski 2006 Abstracts
A Local Facility Location Algorithm for Large-Scale Distributed Systems
246 Liza Fireman 2006 Abstracts
The Complexity of SIMD Alignment
247 Rachel Brel 2006 Abstracts
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
248 Amir Vaxman 2006 Abstracts Theses Nonlinear Interpolation between Slices
249 Alexander Shraer 2006 Abstracts
Timeliness, Failure-Detectors and Consensus Performance
250 Max Goldman 2006 Abstracts
Modular Verification of Aspects
251 Shimon Golan 2006 Abstracts
Efficient Algorithms for Computing Resource Availability in WAA Environments
252 Alexander Lyakas 2006 Abstracts
Specification-Oriented Construction of Web Information Systems
253 Sharon Krisher 2006 Abstracts
On XML Schema Identity Constraints
254 Daniel Zeitlin 2006 Abstracts
Look-Ahead Finite-Memory Automata
255 Oren Katzengold 2006 Abstracts
Effective Use of Trace Caches
256 Jonathan Naor 2006 Abstracts
d-Dimensional Variants of Heilbronn's Triangle Problem
257 Bella Dubrov 2006 Abstracts
On the Randomness Complexity of Efficient Sampling
258 Ido Feldman 2006 Abstracts
A 2+Epsilon Approximation Algorithm for Convex Recoloring of Trees
259 Guy Sela 2006 Abstracts
Exploiting the Free-Form Deformation Function as a Geometric Modeling Tool
260 Nela Gurevich 2006 Abstracts
Automatic Generation of Near Misses for Active Learning of Visual Concepts
261 Ofir Avni 2006 Abstracts Theses Biologically Motivated Modeling and Imitating the Chameleon's Vision System
262 Ehab Wattad 2006 Abstracts Theses On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle
263 Sivan Yogev 2006 Abstracts
Evaluation of Scoring Functions for Protein Multiple Sequence Alignment using Structural Alignments
264 Yacov Estrin 2006 Abstracts
Expert System On Translations among Formal Verification Tools in VeriTech
265 Jacob Subag 2006 Abstracts
Piecewise Developable Surface Approximation of General NURBS Surfaces, with Global Error Bounds
266 Tal Lerner 2006 Abstracts
Motion Correction in fMRI Images
267 Sivan Sabato 2006 Abstracts
The Semantics of Reciprocal Expressions in Natural Language
268 Emilia Katz 2006 Abstracts
Verifying Scenario-Based Aspect Specifications
269 Oleg Polonsky 2006 Abstracts
What's in an Image? Towards the Computation of Good Views for Three-Dimensional Objects
270 Roman Golubchyck 2006 Abstracts
Improving the Saliency Algorithm by Grouping Cues Optimization
271 Roman Barsky 2005 Abstracts
Electromigration-dependent Parametric Yield Estimation
272 Gregory Dardyk 2005 Abstracts
Robust Nonlinear Multigrid Methods
273 Michael Slavkin 2005 Abstracts
Detecting Data Structures from Traces
274 Genady Beryozkin 2005 Abstracts
Plural Semantics for Control Sentences in LFG's "Glue" Interface
275 Oren Shnitzer 2005 Abstracts
Self-Consistent Batch Classification
276 Roy Bar-Haim 2005 Abstracts
Part-of-Speech Tagging for Hebrew and other Semitic Languages
277 Guy Korland 2005 Abstracts
Location Awareness in Wireless Ad-Hoc Networks (or How to RLISE a TIGR?)
278 Jonathan Laserson 2005 Abstracts
Approximations Algorithms for Sorting Buffers
279 Tamer Salman 2005 Abstracts
Learning Polynomial Generating Rules Using Support Vector Machines
280 Shimon Landa 2005 Abstracts
Combinatorial Approximation Algorithms for the Fractional Set-Cover Problem
281 Gil Yarom Sasson 2005 Abstracts
D-SEDA Distributed Staged Event-Driven Architecture
282 Oleg Izmerly 2005 Abstracts
Modern Cryptography in a Quantum World
283 Eyal Gordon 2005 Abstracts
Competitive Throughput Analysis of Greedy Protocols on Directed Acyclic Networks
284 Ron Begleiter 2005 Abstracts
Can Theory Meet Practice in Sequence Prediction?
285 Nili Ifergan 2005 Abstracts
Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation
286 Orly Meir 2005 Abstracts
A Decision Procedure for Equality Logic
287 Vadim Galperin 2005 Abstracts
In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals
288 Roy Frank 2005 Abstracts
Revenue-Maximizing Allocations in Constrained Multi-Object and Combinatorial Auctions
289 Rotem Bennet 2005 Abstracts
Improved Learning with Corrupt Oracles
290 Assaf Harel 2005 Abstracts
Estimating the Number of Faults Remaining in Software Code Document Inspected with Iterative Code Reviews
291 Michael Bronstein 2005 Abstracts
Three-Dimensional Face Recognition
292 Alex Goryachev 2005 Abstracts
Offset-Polygon and Annulus Placement Problems
293 Orit Eden 2005 Abstracts
Simulation and Visualization of Gravity Currents
294 Amnon Shochot 2005 Abstracts
Extending BGP to Support the Concept of "Global AS"
295 Constantine Elster 2005 Abstracts
Efficient Monitoring of QOS Parameters
296 Shadi Saba 2005 Abstracts
Barycentric Spherical Embeddings - Algorithms and Theory
297 Mark Matusevich 2005 Abstracts
Off-Line Improvement of Generic Group Trackers
298 Roman Sandler Missing advisors 2005

Gabor Filters Analysis for Texture Segmentation
299 Haggai Yedidya 2005

Performance Evaluation of Data Caches Organizations for SMT Processors
300 Alon Flaisher Missing advisors 2005

Enhanced Vacuity Detection in Linear Temporal Logic
301 Saar Pilosof 2005

TCP Fairness over Wireless LAN
302 Lawrance Khoury 2005 Abstracts
Learning with Errors in Answers to Membership Queries
303 Dan Guez 2004 Abstracts
Scheduling Time-Constrained Communication in Input Queued Switches
304 Anna Zamansky )Lifshits( 2004 Abstracts
A 'Natural Logic' Inference System Based on the Lambek Calculus
305 Yaniv Kaplan 2004 Abstracts
Lower Bounds for Adaptive Collect and Related Objects
306 Niv Buchbinder 2004 Abstracts
Lower and Upper Bounds on Obtaining History Independence
307 Anna Bekkerman 2004 Abstracts
Conflict Resolution and Operator Priorities in Extended BNF
308 Wisam Kadry 2004 Abstracts
Simulation of Metabolic Pathways
309 Galina Tcharny 2004 Abstracts
Fuzzy Group Communication in Mobile Ad Hoc Networks
310 Sharon Shoham Buchbinder 2004 Abstracts
A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement
311 Yael Merksamer 2004 Abstracts
Two Dimensional Cluster Error-Correcting Codes
312 Simon Polak 2004 Abstracts
Head Motion Anticipation for Virtual-Environment Applications Using Kinematics and EMG Energy
313 Vadim Iosevich 2004 Abstracts
Distributed Shared Memory: To Relax or not to Relax?
314 Evgeny Yakersberg 2004 Abstracts
Morphing between Geometric Shapes using a Straight-Skeleton- Based Interpolation
315 Yoram Talmor 2004 Abstracts
Higher Performance DSM by Peaking Network Utilization
316 Erez Louidor 2004 Abstracts
Lowest-Density MDS Codes over Super-Alphabets
317 Alexander Glikson 2004 Abstracts
Verification of Generally Intractable Graph Properties on Graphs Generated by Graph Grammars
318 Kobi Luz 2004 Abstracts
Online Choice of Active Learning Algorithms
319 Michael Tsirkin 2004 Abstracts
Delivery Times in Packet Networks under Full Load
320 Michal Aharon 2004 Abstracts
Representation Analysis and Synthesis of Lip Images Using Dimensionality Reduction
321 Vladimir Getselevich 2004 Abstracts
Enabling Efficient Fast Track Services in Active Networks
322 Tali Sapir 2004 Abstracts
Parallel Raytracing Using the XMT Paradigm
323 Roy Schwartz 2004 Abstracts
Circular Arrangements
324 Tatyana Veksler 2004 Abstracts
Automata and Type-Logical Grammars
325 Alon Altman 2004 Abstracts
Computation and Specification of Scope Dominance with Monotone Quantifiers in Natural Language
326 Asaf Amit 2004 Abstracts
Learning to Cooperete with Application to Bridge Bidding
327 Israel Gutter 2004 Abstracts
Sentence Parsing in Hebrew by Semantic Features
328 Micha Moffie 2004 Abstracts
Counting Polyominoes in Two and Three Dimensions
329 Zvi Avidor 2004 Abstracts
n-Set Consensus when Inputs are Restricted
330 Carmen Rotstein 2004 Abstracts
A Semantic Framework for Total and Partial Adjectives
331 Michael Lifshits 2004 Abstracts
Vision-Based Navigation on Microscopic Images
332 Amir Sasson 2004 Abstracts
Understanding and Mitigating the Effects of Denail-of- Service Attacks on Secure Gossip-Based Multicast
333 Alina Skarbovsky 2004 Abstracts
Performance Evaluation and Modeling of TCP over Cellular Wireless Links
334 Zvi Gutterman 2004 Abstracts
Symbolic Pre-Computation for Numerical Applications
335 Rami Cohen 2004 Abstracts
Time Dependent Multi Scheduling of Multicast
336 Dorit Balter 2004 Abstracts
Medical Records Confidentiality Problem
337 Amir Bar-Or 2004 Abstracts
Hierarchical Decision Tree Induction for Highly Dimensional Data in Large-Scale Distributed Systems
338 Oren Souroujon 2004 Abstracts
Iterative Double Clustering: An Information-Theoretic Algorithm for Clustering Textual Data
339 Alexander Dvorkin 2004 Abstracts
Ensuring End-to-End Delay in the DiffServ Model
340 Baruch Gilburd 2004 Abstracts
A Privacy Model and Privacy-Preserving Algorithms for Data Mining in Large-Scale Distributed Systems
341 Yuval Scharf 2004 Abstracts
Covering Points with a Polygon
342 Oleg Rokhlenko 2004 Abstracts
Tree-Based Comparison of Metabolic Pathways
343 Avraham Yadgar 2004 Abstracts
Solving All-SAT Problem for Reachability Analysis
344 Maxim Mogilnitsky 2004 Abstracts
Efficient, Low Distortion, Conformal Parameterization of Large Meshes
345 Philip Derbeko 2004 Abstracts
Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms
346 Idan Zach 2004 Abstracts
Fully Adaptive Shared Memory Algorithms
347 Moran Gavish 2004 Abstracts
A Sequential Algorithm for Face Recognition
348 Doron Lipson 2003 Abstracts
Optimization Problems in Design of Oligonucleotides for Hybridization Based Methods
349 Gabriel Scalosub 2003 Abstracts
Bicriteria Approximation Tradeoff for the Node-Cost Budget Problem
350 Adi Bar-Lev 2003 Abstracts
virtual marionettes: a system for real-time animation in 3D
351 Uri Dekel 2003 Abstracts
Revealing JAVA Class Structure with Concept Lattices
352 Dmitry Livshitz 2003 Abstracts
Robotic Self Location Using Three Dimensional Fiducials and Omnidirectional Cameras
353 Hezi Azatchi 2003 Abstracts
Integrating Generations with Advanced Reference Counting Collectors
354 Avraham Owshanko 2003 Abstracts
Learning Finite Automata, Using Incomplete Membership Queries
355 Vladislav Kraevoy 2003 Abstracts
Matchmaker: Constructing Constrained Texture Maps
356 Daniel Brunstein 2003 Abstracts
Animating a Camera for Viewing a Planar Polygon
357 Ydo Wexler 2003 Abstracts
Finding Approximate Tandem Repeats in Genomic Sequences
358 Dmitry Davidov 2003 Abstracts
Multiple-Goal Heuristic Search Algorithms
359 Uriel Cohen 2003 Abstracts
Object Relations and Syntactic Mechanisms in Design Patterns
360 Igor Katsman 2003 Abstracts
Biologically Motivated Modeling and Simulation of Animals Vision Activities
361 Efrat Jaeger 2003 Abstracts
Unification Grammars and Off-Line Parsability
362 Ron Bekkerman 2003 Abstracts
Distributional Clustering of Words for Text Categorization
363 Constantine Shapiro 2003 Abstracts
Object-Oriented Implementation of Reconciliations
364 Mirit Berg 2003 Abstracts
Property Transformations for Translations
365 Alexander Goldin 2003 Abstracts
Geometric Message-Filtering Protocols for Distributed Multi- Agent Environments
366 Sharon Keidar 2003 Abstracts
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
367 Dafna Szarfman 2003 Abstracts
Reducing Cache Conflicts via Garbage Collection
368 Leonid Beliak 2003 Abstracts
Adaptive Calculation of Variable Coefficients Elliptic Differential Equations via Wavelets
369 Roni Raab 2003 Abstracts
Virtual Woodwork: Making Toys from Geometric Models
370 Boris Veytsal 2003 Abstracts
Model Driven Help Systems Generation
371 Amnon Heiman 2003 Abstracts
Protein Identification via Mass Spectrometry
372 Ido Tal 2003 Abstracts
List Decoding of Lee Metric Codes
373 Avraham Kenigsberg 2003 Abstracts
A Multigraid Approach for Fast Geodesic Activ Contour
374 Yael Gavish 2003 Abstracts
Cache-Conscious Garbage Collection for Servers
375 Ya'akov Broom 2003 Abstracts
Bayesian Classification and Clustering via DAG Hierarchies
376 Eliyahu Pozniansky 2003 Abstracts
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs
377 Evgeny Panman 2003 Abstracts
Efficient Data Collection Algorithm
378 Mirela Ben-Chen 2003 Abstracts
On the Optimality of Spectreal Mesh Compression
379 Tzafrir Cohen 2003 Abstracts
Responsive Round Complexity and Concurrent Zero-Knowledge
380 Nadav Golbandi 2003 Abstracts
Characterization and Classification of Butterfly Like Networks
381 Oren Sifri 2003 Abstracts
Surface Meshing Using Geodesic Distances
382 Alon Kama 2003 Abstracts
Transparent Fault-Tolerant Java Virtual Machine
383 Asi Elad 2002 Abstracts
On Surface Flattening via MDS and FMMTD
384 Lior Ron 2002

A Visual Feedback System
385 Ronit Reger 2002 Abstracts
Learning and Exploiting Relative Weaknesses of Opponent Agents
386 Gilad Ben Avi 2002 Abstracts
Monotonicity Properties of Plural Quantifiers in Natural Language
387 Alexandr Kaplan 2002 Abstracts
Finding Epipolar Geometry from Two Color Images
388 Robert Parham 2002

Solving the Dynamic Conflict between N Moving Objects Using Neural Networks
389 Liav Adi 2002

Fast Computation of Geodesic Distances: Graphic Applications
390 Emil Kohn 2002 Abstracts
A Transparent DSM System
391 Tal Cohen 2002

Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice
392 Keren Bendel 2002

Applications of the Local-Ratio Technique: A Survey
393 Vadim Gleizer 2002 Abstracts
Optimizing Sharing Patterns and Locality via Thread Migration
394 Yaroslav Fedorov 2002

Implementing and Extending Natural Logic
395 Vitaly Feldman 2002

On Using Extended Statistical Queries to Avoid Membership Queries
396 Roni Ram 2002 Abstracts
Efficient Distribution of Email Messages
397 Dmitry Gavinsky 2002 Abstracts
Boosting with Polynomially Bounded Distributions
398 Yosef Firstenberg 2002

Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
399 Sally Tadmor 2002 Abstracts
A Framework for Interactive Information Systems
400 Elena Tulchinsky 2002

Positive Semantics of Projections in Venn-Euler Diagrams
401 Dor Laor 2002

Soft Real-Time Layered Group Communication
402 Assaf Shatil 2002

Speedup Learning for Repair-Based Search by Identifying Redundant Steps
403 Ran Yaroshinsky 2002

Smooth Online Learning of Expert Advice
404 Ari Frank 2002 Abstracts
A New Branch and Bound Feature Selection Algorithm
405 Irit Katriel 2002

Implicit Data Structures based on Local Reorganizations
406 Hilla Atzmon 2002

Replacement Policies for Internet Wide Caching of Distributed Objects
407 Yaniv Hamo 2002

Balanced Packet Discard for Improving TCP Performance in ATM Networks
408 Eyal Hameiri 2002

Estimating the Principal Curvatures and the Darboux Frame from Real 3D Range Data and its Application to the Recovery of Primitives
409 Sagi Katz 2002

Techniques for Increasing Coverage of Formal Verification
410 Vladislav Kalinovsky 2002 Abstracts
Symphony: Managing Virtual Servers
411 Dan Kenigsberg 2002

Grover's Quantum Search Algorithm and Mixed States
412 Shlomit Koyfman 2002

Semantic Invariance of Algorithms for Nominal Anaphora Resolution
413 Ziv Nevo 2002

On Online Learning of Decision Lists
414 Julia Mosin 2001

Base Dependence of Extensions for Open Default Theories
415 Yoav Katz 2001

Scheduling with Batching and Incompatible Job Families
416 Julia Chuzhoy 2001

Hardness of Approximation and New Approximability Classes
417 Lior Leiba 2001

Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation
418 Natalie Eckel 2001

Empirical Study of Object-Layout Strategies and Optimization Techniqes
419 Rafi Tayar 2001

Scanning Directed Eulerian Mazes by a Finite-State Robot
420 Gregory Shakhnarovich 2001

Statistical Data Cloning for Machine Learning
421 Boris Epelman 2001

Remote Geometrical Modeling
422 Ilya Ekshtein 2001 Abstracts
Texture Mapping Using Constrained Parametrization
423 Shiri Moran 2001

Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues
424 Svetlana Kronrod 2001

Probablistic Scalable Application Placement in Distributed Systems
425 Eli Almog 2001

Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited
426 Yuri Tsoglin 2001

JAMOOS - an Object Oriented Language for Grammars
427 Tzach Levyatan 2001

Anytime Search by Improving Highest-Utility Solution Segments
428 Boris Kronrod 2001

Topics in Compression of 3d Models
429 Shlomo Livne 2001

Machine Learning for Efficient BDD Variable Ordering in Verification
430 Zehavit Kehat 2001

Approximating the Dense Set-Cover Problem
431 Yan Sorkin 2001

CD-Edit- A Constraint Diagrams' Editor
432 Vladimir Furman 2001

Cryptanalysis of Some Modern Blockciphers
433 Alexander Gaysinsky 2001

Caching Integrated with Pipelined Prefetching
434 Vladimir Yanovski 2001

Simple Agents for Complex Tasks
435 Dina Tal 2001

Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences
436 Vita Bortnikov 2001

Adaptive Algorithms for Mutual Exclusion
437 Barak Hermesh 2001

Fiducials for Precise Location Estimation
438 Yosseff Levanoni 2001

On-The-Fly Garbage Collection via Sliding Views
439 Irina Shapira 2001

Scheduling Splitting Intervals
440 Alexander Gorovoy 2001

Applying Data Compression Algorithms to Software Engineering
441 Shirley Halevy 2001

Two-Dimensional Coding for Recording Channels
442 Oren Zeev Ben Mordejai 2001

Efficient Integration of On-the-fly Data Race Detection in Distributed Shared Memory and Symmetric Multiprocessor Environments
443 Alexander Bogomjakov 2001

Optimized Polygon Traversal of Progressive Meshes for Vertex Caching
444 Noam Rinetskey 2001

Interprocedural Shape Analysis
445 Patrick Chouraqui 2000

Surface Reconstruction with Triangular Bezier Patches from Range Measurements
446 Shay Artzi 2000

Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields
447 Guy Froimovich 2000

Object Classification from Range Images
448 Yael Zbar 2000

Open Default Theories
449 Guy Rey 2000

First-Order Non-Monotonic Logic
450 Dmitry Kogan Missing advisors 2000

Remote Reference Counting: Distributed Garbage Collection With Low Communication and Computation Overhead
451 Dmitry Rusakov 2000

Selective Sampling for Nearest Neighbor Classifiers
452 Shiri Manor 2000

Scalable Multicast in a Logical Hypercube
453 Guy Lebanon 2000

Moire Pattern Synthesis
454 Nitzan Niv 2000

Dynamic Adaptation of the Sharing Granularity in Dsm Systems
455 Gil Zigelman 2000

Texture Mapping by Surface Flattening Via Mds
456 Gal Vardi 2000

Analysis and Generation of Hebrew Nouns with Derivational Morphemes
457 Dmitry Levinson 2000

Corpus-Based Methods for Word Sense Disambiguation
458 Ariella Voloshin Missing advisors 2000

A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line
459 Omer Barkol Missing advisors 2000

Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model
460 Igor Dozorets 2000

Computer-Based Model for Speaker Recognition by a Human Listener
461 Erel Segal 2000

Hebrew Morphological Analyzer for Hebrew Undotted Texts
462 Victoria Skoblikov 2000

Feature-Based Computational Lexicon of Hebrew Vrebs
463 Dror Rawitz Missing advisors 1999

Combinatorial and LP-based Methods for Designing Approximation Algorithms
464 Costa Touma 1999

Triangle Mesh Compression
465 Arnon Netzer 1999

Mosaicing Video Sequences
466 Sharon Or Missing advisors 1999

Encapsulating Real-Time in Failure Detectors
467 Lior Arzi 1999

Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document
468 Alon Raviv 1999

Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions
469 Yohai Makbily 1999

Message Filtering for Geometric Distributed Virtual Environments
470 Shai Rubin Missing advisors 1999

Using Virtual Cache Lines for Higher Data Cache Performance
471 Ronit Nossenson Missing advisors 1999

Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components
472 Arie Tal 1999

Decidability of Inclusion for Unification Based Automata
473 Amit Cohen Missing advisors 1999

A Dynamic Approach for Efficient Tcp Buffer Allocation
474 Anatoly Koyfman Missing advisors 1999

Facilitating Generation of Help Systems
475 Ilia Gretskin Missing advisors 1999

Java Interface for Irit Solid Modeler
476 Alla Gorbach Missing advisors 1999

Computing in Anonymous Asynchronous Shared Memory
477 Lea Shalev Missing advisors 1999

Load Sharing in Distributed Shared Memory Systems
478 Marina Biberstein Missing advisors 1999

Constructions and Bounds for Blot-Correcting Codes
479 Avigail Orni Missing advisors 1999

Measuring the Locality of Space-Filling Curves
480 Oleg Frenkel Missing advisors 1999

Multicast Group Synchronization in Atm
481 Yuri Miroshnik Missing advisors 1999

Skew-Tolerant Clocking Techniques
482 Vitaly Surazhsky 1999

Morphing Planar Triangulations
483 Dan Rosenstein Missing advisors 1999

Feature Generation Using General Constructor Functions
484 Ronny Lempel Missing advisors 1999

Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web's Link- Structure
485 Michael Plavnik Missing advisors 1999

Surface Design Using Global Second Order Differential Constraints
486 Arkady Estrin Missing advisors 1999

A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions
487 Alon Ravid Missing advisors 1999

A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains
488 Michael Gertelman 1999

Automatic User Interface Generation from a Given Domain Model
489 Octavian Soldea Missing advisors 1999

Algorithms on Continued Fractions
490 Sagi Snir 1998

A Simple and Efficient Method for Network Decomposition And Synchronization
491 Boris Rabinovich 1998

Visualization of Large Terrains in Resource-Limited Computing Environments
492 Ari Freund 1998

On-Line Assignment with Load Balancing
493 Jacob Eckel 1998

A Framework for Static Checking of Design Level Traits
494 Vitaly Skachek 1998

Coding for Spectral-Null Constraints
495 Tali Yatzkar 1998

Lower Bound on the Bisection Width of the Butterfly Network
496 Anna Gringauze 1998

The Complexity of Propositional Proofs
497 Inna Bianu-Minei 1998

Increasing the Performance of Tcp Over a Unidirectional Geostationary Satellite Channel
498 Mira Yaniv 1998

Dynamic Schemes for Specualtive Code Execution
499 Harry Hornreich 1998

A Case Study of Software Reengineering
500 Amit Reisman 1998

Animation Using Parallel Progressive Ray-Tracing
501 Eyal Dagan 1998

Universal Operations: Unary Versus Binary
502 Roman Talyansky 1997

Coding for Two-Dimensional Constraints
503 Boris Zemlyak 1997

Direct Depth from Axial Camera Motion
504 Tal Drory 1997

Consistency Maintenance by Self Stabilization in Active Temporal Databases
505 Ziv Mador 1997

The Probed Partial Digest Problem - Algorithms and Number Of Solutions
506 Fanny Faina Shpilberg 1997

Wd-Pic, a Wysiwyg Direct-Manipulation Pic
507 Leonid Voldman 1997

Using Smart Terminals to Effectively Enhance Commuication Throughput
508 Yuval Ishai 1997

Characterizing Perfect Privacy
509 Kirill Shoikhet 1997

Optimal Triangulations Via Mininal Separators
510 Ehud Aharoni 1997

Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks
511 Beery Holstein 1997

T++ : Test Case Generator Using Code Abstraction
512 Roman Kazinnik 1997

Free-Form Surface Editing Using Multiresolution Decomposition
513 David Barta 1996

A System for Document Reuse
514 Boris Farizon 1996

Dynamic Data Management in Parallel Ray Tracing
515 Juliana Sheinerman 1996

Consequence Relations for Default Reasoning Without the 'and' Rule
516 Shmuel Cohen 1996

Matching of Curves in Computer Aided Geometric Design and Computer Graphics
517 Hillel Miller 1996

Saving Space by Fully Exploiting Invisible Transitions
518 Ishai Rabinovitz 1996

Random and Deterministic Approximation Algorithms for Covering Problems.
519 Gitit Ruckenstein 1996

Encoding for Input-Constrained Channels
520 Michael Kliot 1996

Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases
521 Ilan Evron 1996

Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections
522 Guy Bashkansky 1996

Monolingual Translator Workstation
523 Eli Stein 1996

An Efficient Approach for Emulating a Token-Ring Lan Over An Atm Network
524 Maxim Goldin 1996

Weak Consistency Distributed Shared Memory System Design
525 Nadav Eiron 1996

Variants of Mistake Bound Learning Algorithms
526 Ohad Ben-Shahar 1996

To Push Or Not to Push: on the Rearrangement of Movable Objects by a Mobile Robot
527 Anna Moss 1996

Quantifying the Reliability of Feature-Based Object Recognition
528 Olga Tebelev 1996

Volumetric Computer Graphics in Surgery Process Planning
529 Ofra Hod 1996

Constructions for Error-Correcting Codes and Covering Codes
530 Galia Givaty 1996

Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries
531 David Konopnicki 1996

Information Gathering in the World-Wide Web: the W3ql Query Language and the W3qs System
532 Alexander Dubrovsky 1996

Load Balancing in Distributed Shared Memory System
533 Nira Shavitt 1995

Mapping Dynamic Parallel Programs Into Parallel Systems
534 Yigal Bejerano 1995

Setup and Maintenance of a Multi-Point Conversation
535 Ahron Kupershtok 1995

The Hypercube - Features Generalizations and Embedding Sets Of Numbers in It
536 Asaf Shirazi 1995

Efficient Wait-Free Implementations of Atomic Snapshot Memories
537 Tamar Tamir 1995

Local Labeling and Resource Allocation Using Preprocessing
538 Segev Wasserkrug 1995

Neural Network Design for Classification
539 Rinat Rappoport 1995

The Level of Handshake Required for Establishing Connection
540 Ronen Hod 1995

Coding Methods for Imput Constraind Channels
541 Ann Becker 1995

Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem
542 Amir Eliaz 1995

Handwriting Recognition Via Short Line Segments
543 Elena Ravve 1995

Model Cheking for Various Notions of Product
544 Artur Zavalkovsky 1995

Mys - An Object Oriented Database Management System in the Mach Operating System Environment
545 Boaz Tamir 1995

K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems
546 Noam Paz 1995

Ursus: An Advanced Neural Network Environment
547 Karen Holtz 1995

Semrel - a Semantic Relationship Model for Object Oriented Databases
548 Michael Kariv 1995

Model-Based Compression of Synthetic Animation Sequences
549 Irina Notkin 1995

Parallel Adaptive Ray Tracing
550 Polina Golland 1995

Use of Color for Optical Flow Estimation
551 Evgeny Roytman 1994

Dynamic Color Quantization of Animation Sequences
552 Leonid Zosin 1994

Privacy of Symmetric Functions
553 Baruch Katz 1994

Minimzing the Performance Degradation Due to Conditional
554 David Carmel 1994

Learning Models of Strategy's Strategy in Game Playing
555 Zvi Berkovich 1994

Sematic Debugging of Black Boxes
556 Amir Ben-Dor 1994

On the Complexity of Computing the Permanent
557 Tal Djerassi-Shintel 1994

Lower Bounds for Decision Problems in Semi-Sjnchronous
558 Mordechai Frances 1994

Measuers of Complexity of Classes of Sets and Their
559 Amnon Shaham 1994

Implementation of Multi-Writer Multi-Reader Atomic Register
560 Arie Ben Ephraim 1994

Pattern Recognition Using Similarity Networks
561 David Lorenz 1994

Learning in Games Using Symbolic Classification
562 Benjamin Gershon 1994

Synthesis of Concurrent Systems
563 Oren Brezner 1994

Expectation Semantucs for Modal Logic
564 Irit Rosdeutscher 1994

Systematic Experimentation with Macro-Learning
565 Shoham Ben-David 1994

Using Graphs to Represent Equivalence Classes of Parallel
566 Offer Zimerman 1994

Using "Write"Only Cache" for Improring "Cacne Based" Systems
567 Michal Jacovi 1994

Learmnning in the Limit and Non-Uniform
568 Yael Abarbanel 1994

Algorithms for Dynamic Graphs
569 Allon Adir 1994

Compiling Programs with Multiparty-Interactions and Teams
570 Gilad Granot 1994

Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
571 Galit Shemesh 1994

Upper & Lower Bounds in Reconfigurable Networks
572 Oded Lempel 1994

Dual Round Retiming
573 Ishai Ben-Aroya 1994

Bounds and Algorithms for Deflection Routing
574 Hagit Brit 1994

Public Data Structures and Public Counters as a Special Case
575 Ophir Munk 1993

A New Parallel Factorization A= Ddtbc for Band Symmetric
576 Ilan Ronel 1993

Topolgy Design Capacity Allocation and Route Assignment
577 Shaul Silvian Marcus 1993

Estimation of Lexical Relations Using Word Similarities
578 Netta Aizenbud 1993

Self-Stabilization of Fault-Tolerant Distributed Algorithms
579 Tatiana Orenstein 1993

Using Partial Scan for Testing of Digital Sequential Circoir
580 Shai Halevi 1993

Greedy Hot-Potato Routing
581 Ariel Kahan 1993

Zero Knowledge Proofs with Constant Number of Iterations
582 Yishay Brown 1993

Common Sense Maps Generator
583 Yaron Sella 1993

Learning of Resource Allocation Strategies for Game Playing
584 Noam Shintel 1993

Synthesis of Modular Delay-Insensitive Netwerks from Petri
585 Alon Efrat 1993

Dynamically Maintainhg the Ceter of a
586 Arnon Amir 1993

Depth from Structured Lisht and Axial Motion
587 Lev Finkelstein 1993

Learning to Play by Acquiring Move-Patterns
588 Ronit Fraiman 1993

Complexity of Learning by Distances
589 Ronit Lubitch 1993

Closed Schedvlers: Motivation Construction and Application
590 Abraham Sharell 1993

On the Average Gomplexity of Sat for Fiat Distributions
591 Nechama Navony 1993

A Verge and Randomized Complexity of Distributed Problems
592 Mircea Namolaru 1993

Compilation Techniques for Distributed Constraint Languages
593 Moshe Levinger 1993

Morphological Disambiguation in Hebrew
594 Ran Canetti 1992

A Tradeoff Between Randomness and Commonication Complexity
595 Merav Michaeli-Aaroni 1992

A Generalization of Group Testing
596 Michal Dvir 1992

Incompleteness and the Theory of Computer Science
597 Avigdor Pollak 1992

From Neural Networks to Production Rvles and Back
598 Ruben Hasson 1992

A Comparison of Data Models Forcomplex Objects
599 Elana Zamir 1992

Semantic Parser for Context Free Sentences in Hebrew
600 Nir Dvir 1992

Freezing - Interaction Between Concurrent Distributed Algs.
601 Irit Yadin 1992

The Distributet Counter Problem
602 Ze'ev Collin 1992

A Self Stabilizing Distributed Solution
603 Yaniv Barguri 1992

The Hierarchy of Transitive Closure
604 Isaac Nativ 1992

Consistent Database with Non-Serialized Queries
605 Ophir Rachman 1992

Wait Free Randomized Consensus
606 Yoram Singer 1992

Non Parametric Methods for Speech Consonants Recognition
607 Yardena Peres 1992

Implementation of the Grid File System
608 Amos Beimel 1992

Ideal Secret Sharing Schemes
609 Dror Sneh 1992

The Complexity of Global Computation in the Presence of
610 Eran Aharonson 1992

The Structure of Counting Networks
611 Erez Petrank 1992

The Knowledge Complexity of Interactive Proofs
612 Lee-Bath Nelson 1992

Characterization of Distributed Interactive Tasks
613 Rami Marelly 1991

Automatic Verifier of Distributed Algorithms
614 Yael Rinoenau 1991

An Efficient Algorithm for Maximum Dyramis Flow Problem
615 Raanan Grinwald 1991

Merging Polygons with Holes
616 Eli Dichterman 1991

Derandomizing Online Algorithms
617 Meir Pinhasov 1991

A Linear-Time Bounded Concurrent Time-Stamp Scheme
618 Miriam Sharon 1991

Learning Automata
619 Gil Shurek 1991

Modular Computer Aided Verification of Concurrent Systems
620 Ron Resnik 1991

Nuerical Analysis of Two-Phase Rotating Flow
621 Yair Amir 1991

Customer Scheguling Under Qveueing and Delay Constraints
622 Shalom Wintner 1991

Syntactic Analysis of Hebrew Sentences
623 Nir Solel 1991

Efficient Algorithms for Disjoint Paths Steiner Tree
624 Hana De-Lion 1991

Real Time Temporal Logics
625 Anat Helman 1991

Parallel Solution of An Elliptic Eguation in Twd Dimentidns
626 Johny Srouji 1991

Adaptaticn of the Unix Ditroff for Formatting Arabic Text
627 Guy Even 1991

Construction of Small Probability Spaces
628 Michel Adar 1991

An Interactive Graphical Development System for Orject
629 Lior Moscovici 1990

Implementing Distributed Tasks in Presence of Failures
630 Ariel Calo 1990

The Expressive Power of the Transitive Closure
631 Lyor Goldstein 1990

Generation and Analysis of the Possession Inflexion of
632 Marc Elie Jalfon 1990

Self Stabilizing Random Algorithms on Distributed Uniform Sy
633 Michal Shany-Klein 1990

Generating & Analyzing Segolatenoun Inflection in Hebrew
634 Rivka Licht 1990

Realization of Permutations in a Shuffle-Exchange Network
635 Mordkhai Lempel 1990

Modular Lattices - An Algorithmic Approach
636 Osnat Meir 1990

Analysis of the Performance of the Exponential Pxramid
637 Elan Neeman 1990

Route Setmp and Takedown in a Funnel Network
638 Moshe Molcho 1990

Distributed Algorithms with a Fault Detection Ring
639 Sara Bittan 1990

Linear Broadcast Routing
640 Iris Bezalel 1990

Structured Design of Delay-Insensitive Controllers
641 Ruthi Erez 1990

An Interactive Iaterpretes Withgraphic Display of Program
642 Shmuel Ur 1990

Graphoids: Graph Representation and Membership Problems
643 Doron Cohen 1990

Combinatorical Designs Derived from Constant Weight Godes
644 Dan Kimmel 1990

Simulation Project on Ibm/pc for Electronic Wallet
645 Shimon Yanai 1990

Environment for Translating "Metafont"to"Postscrcpt"
646 Ady Tal 1990

Vertex Disjoint Paths in Series Paraller Graphs
647 Shlomo Dolev 1990

Self Stabilization of Dynamic Systems Assuming Only Read/
648 Erela Amit 1990

Machine Learning Algorithm for Diagnosing Misconceptions
649 Yuval Neeman 1990

Domain Archetype - a Eeasiblit Y Study
650 Sergio Fogel 1990

Ray Shooting: Searching and Counting Queries
651 Netta Shani 1990

On the Privocy Gdp in Dense Symmetric Functions
652 Gidon Yona 1990

Verification of Protocols Fur Sharfd Registers Systems by G
653 Oran Sharon 1990

Session Management and Organization in Broadcast Networks
654 Zeiev Shtapler 1990

Automatic Verification of Distributed Algorithms
655 Eyal Ben-Chanoch 1990

Covering Polygons with Squares
656 Robert Geva 1990

Representation of Irrelevance Relations by Graphs
657 Zvi Ostfeld 1989

Des Trees Construction:characterizations and Sequential and
658 Simona Cohen-Rabinovici 1989

Parallelization Strategies in Knowledge Bases
659 Laurent Fournier 1989

Performance Evalualion of Priorilized Token Sing Local
660 Moises Sananes 1989

Dros a Distributed Replicated Data Systam
661 Ofrit Lesser 1989

Routing by Controlled Flooding
662 Amir Rahat 1989

Logic Programming in a Distributed Euvironment
663 Yael Gafni 1989

Semantics for a "Knowing at Most" Operator
664 David Goldfeld 1989

Eguivalence of Interconnection Netnorus
665 Abraham Nathan 1989

Compilation of Fcp to Carmel and Its Performance Analysis
666 Esther Leyzerovitch 1989

Impiementing Superimpositions for Occam
667 Itay Kariv 1989

Hierarchical Symbolic Indices in General Purpose
668 Oren Hurvitz 1989

Janus Automata as a Model for the Intelligent Scan Problem
669 Tziporet Koren 1989

On the Construction of Pseudo Random Block Ciphers
670 Eyal Kushilevitz 1989

Perfect Zero-Knowledge Proofs
671 Ehud Hausman 1989

Erd Raseb Natural Qvery Langvage
672 Gil Sideman 1989

Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
673 Tony Wolfman 1989

""Flo" a Language for Typesetting Flowcharts
674 Raz Rafaeli 1989

Global Time in Distributed Systems
675 Yael Shemesh 1989

Relation Recognizing Automatta
676 Gabriel Matsliach 1989

Fitting Traditional Search Structures to New Architectures.
677 Alon Lavie 1989

Two Level Morphology for Hebrew
678 Uri Habusha 1989

Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
679 Gil Allon 1989

Towauosabi Divectional Operating System
680 Ameen Abu-Hanna 1988

An Integrated Deep-Shallow Expert System for Multi-Leuel
681 Iris Reicher 1988

Verification and Synthesis of Asynchronous Circuits
682 Zeev Becker 1988

An Adaptation of the Unix Ditroff for Rormatting Tri-Directi
683 Daniel Fischer 1988

Maintenance of Unreliable Distributed Systems


684 abstract theses title found in the Department Computer Science
Last updated on: Friday ,April 28, 2017