הטכניון מכון טכנולוגי לישראלהטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים
   דף הבית   |   דבר הדיקן   |   הרשמה   |   טפסים   |   תיזות ומחקרים   |   מועדים חשובים   |   תכניות הלימודים   |   מידע אישי   |   מידע כללי 
  מתעניינים בלימודים
  חדשים
  לומדים
  מלגות, מעונות
  השתלמויות,לימודים וכנסים בחו"ל
  מסיימים
  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 Roni Licher 2017 Abstracts Theses Hardening Cassandra Against Byzantine Failures
1 Avi Kaplan 2017 Abstracts
Interpreting the Ratio Criterion for Matching SIFT Descriptors
2 Matan Hamilis 2017 Abstracts Theses Parallel Additive Fast Fourier Transform Algorithms
3 Gal Maor 2017 Abstracts Theses Information Theory and Privacy Related Questions in Communication Comlexity
4 Naama Haramaty Krasne 2017 Abstracts
Low-Complexity Cryptographic Hash Functions
5 Gal Cohen 2017 Abstracts
On routing schemes that are robust to changes in bandwidth demand
6 Yi Ren 2017 Abstracts Theses Example-Based Image Synthesis via Randomized Patch-Matching
7 Shir Yadid 2016 Abstracts Theses Extracting Code from Programming Tutorial Videos
8 Karam Abdelkader 2016 Abstracts Theses Automated Circular Assume-Guarantee Reasoning
9 Arie Rond 2016 Abstracts Theses Handling poisson Inverse Problems by the Plug-and-Play Priors Scheme
10 Irena Grabovitch-Zuyev 2016 Abstracts Theses Entity search in Facebook
11 Evgeny Abramovich 2016 Abstracts Theses Static Mining of Common Concurrency Patterns
12 Anat Berkman 2016 Abstracts Theses Scenario based programming for Mobile Applications
13 Jalil Moraney 2016 Abstracts Theses Efficient Detection of Flow Anomalies with Limited Monitoring Resources
14 Aviv Segall 2016 Abstracts
2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates
15 Iddo Zmiry 2016 Abstracts Theses Lola - A Programming Language for Augmenting Programming Languages
16 Nitsan Chrizman Cherkassky 2016 Abstracts Theses How to Construct Multilingual Domain Ontologies
17 Jonathan Andre Wagner 2016 Abstracts Theses Multiplicative Approximation Algorithms for Generalized Covering and Packing Problems
18 Omer Geiger 2016 Abstracts Theses Algorithmic Exam Generation
19 Noam Segev 2016 Abstracts Theses Transfer Learning using Decision Forests
20 Alexandre Djerbetian 2016 Abstracts Theses Tangent Vector Fields on Triangulated Surfaces - An Edge-Based Approach
21 Yael Mordechai 2016 Abstracts Theses Optimization and Reoptimization in Scheduling Problems
22 Avi Stiefel 2016 Abstracts Theses Motion Planning in the Presence of Mobile Obstacles
23 Nir Hershko 2016 Abstracts
3D Augmentations of 2D Maps
24 Erez Timnat 2016 Abstracts Theses The List Update Problem
25 Ilya Lesokhin 2016 Abstracts Theses I/O Page Faults
26 Meital Zilberstein 2015 Abstracts
Code Similarity via Natural Language Descriptions
27 Ella Bolshinsky 2015 Abstracts Theses Towards an Autonomous Sailing Trainer
28 Gil Briskin 2015 Abstracts Theses Estimating Pose and Motion Using Bundle Adjustment and Digital Elevation Model Consraints
29 Moshe Malka 2015 Abstracts Theses Rethinking the I/O Memory Management Unit (IOMMU)
30 Rami Jioussy 2015 Abstracts Theses Enhancing Energy-Performance for Power Constrained SoC Systems
31 Liat Peterfreund 2015 Abstracts
Closure under Reversal of Languages over Infinite Alphabets: A Case Study
32 Shmuel Ben-Yehuda 2015 Abstracts
The nom Profit-Maximizing Operating System
33 Alexander Nus 2015 Abstracts Theses Migration Plans with Minimum Overall Migration Time
34 Eric Yudin 2015 Abstracts
Improving Facial Expression Analysis via Intrinsic Normalization of Surfaces
35 Eli Sennesh 2015 Abstracts
Unstructured Jumps and Compressed Size as Defect-Prediction Metrics
36 Eitan Rosenfeld 2015 Abstracts Theses RAIDP: Replication with Intra-Disk Parity
37 Omer Peleg 2015 Abstracts
Utilizing the IOMMU Scalably
38 Ido Gonen 2015 Abstracts Theses Defending against Eclipse Attacks in Unstructured Overlays
39 Ran Ben Basat 2015 Abstracts Theses Parameterized Automata Constructions and Their Applications
40 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
41 Eldar Aharoni 2015 Abstracts Theses Direct Sum Related Problems in Communication Complexity
42 Noa Elad 2015 Abstracts Theses Online Semidefinite Programming
43 Gregory Borodin 2015 Abstracts
Efficient Query Recommendation
44 Nadia Labai 2015 Abstracts
Definability and Hankel Matrices
45 Tariq Toukan 2015 Abstracts Theses Fault-Tolerant Information Spreading Algorithms
46 Yossi Kuperman 2015 Abstracts Theses vRio: Efficient Paravirtual Remote I/O
47 Ben Lee Volk 2014 Abstracts Theses On the Structure of Boolean Functions with Small Spectral Norm
48 Dima Elenbogen 2014 Abstracts Theses Proving Mutual Termination of Programs
49 Alaa Ghanayim 2014 Abstracts Theses Iterative Referencing for Improving the Interpretation of DNA Sequence Data
50 Denis Rybnikov 2014 Abstracts Theses A Semi-Automatic System for Non-Rigid Matching and Temporally Coherent 3D Shading of Animation Sequences
51 Nir Shmuel Hauser 2014 Abstracts Theses COARA: Code Offloading on Android with RMI and Aspects
52 Eyal Kibar 2014 Abstracts Theses E-Wolf: A Distributed Online Social Network
53 Maor Grinberg 2014 Abstracts Theses Comprehensive Free Handed 3D User Interface for Geometric Design Systems
54 Rouven Strauss 2014 Abstracts Theses Geometric Multi-Covering
55 David Wajc 2014 Abstracts Theses Parameterizing P: Proximity to Easy Variants
56 Boris Cherevatsky 2014 Abstracts Theses Estimating Epipolar Geometry for Mobile Robots
57 Alexander Zlotnik 2014 Abstracts Theses Efficient Use of Geographically Spread Cloud Resources
58 Hasan Abasi 2014 Abstracts Theses On r-Simple k-Path
59 Nitzan Shapira 2014 Abstracts Theses Cross-Collection Map Inference by Intrinsic Alignment Shape Spaces
60 Yehonatan Goldman 2014 Abstracts Theses Robust Epipolar Geometry Estimation Using Noisy Pose Priors
61 Yoav Kantor 2014 Abstracts Theses Combining Erasure-Code and Replication Redundancy Schemes for Increased Storage and Repair Efficiency in P2P Storage Systems
62 Michael Baltaxe 2014

Probabilistic Local Variation Segmentation
63 Kayla Jacobs 2014 Abstracts Theses Hebrew Acronym: Identification; Expansion and Disambiguation
64 Elior Malul 2014 Abstracts Theses Towards Temporal Correctness of Event Processing
65 Ami Paz 2013 Abstracts Theses Counting-Based Impossibility Proofs for Distributed Tasks
66 Alon Mishne 2013 Abstracts Theses Programming with Millions of Examples - Scalable Static Specification Mining
67 Assaf Rappaport 2013 Abstracts Theses Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems
68 Haggai Toledano 2013 Abstracts Theses Coverage-Driven Refinement of Conceptual Representations
69 Assaf Israel 2013 Abstracts Theses Cost Aware Fault Recovery in Clouds
70 Pavel Gurevich 2013 Abstracts Theses Experimental Quantum Key Distribution with Classical Alice
71 Karine Even 2013 Abstracts Theses Finding Rate Numerical Stability Errors in Concurrent Computations
72 Shaked Flur 2013 Abstracts Theses Weak Omega Automata
73 Netanel Raviv 2013 Abstracts Theses Truth Table Minimization of Computational Models
74 Michael Beder 2013 Abstracts Theses Approximation Algorithms for Resource Scheduling and Allocation Problems
75 Ranit Gotsman 2013 Abstracts Theses Generating Map-based Routes from GPS Trajectories and their Compact Representation
76 Raeda Naamneh 2013 Abstracts Theses Fair Multi-Label Reconstruction from Cross-Sections
77 Nadav Shragai 2013 Abstracts Theses Geometric Covering
78 Yosi Atia 2013 Abstracts Theses Algorithmic Cooling of Spins by Optimal Control
79 Avishai Gretz 2013 Abstracts Theses Syntactic Annotation of Hebrew CHILDES Corpora
80 Roman Zeyde 2013 Abstracts Theses Computational Electrokinetics
81 Omer Strulovich 2013 Abstracts Theses Lossy Chains and Fractional Secret Sharing
82 Moshe Gabel 2013 Abstracts Theses Unsupervised Anomaly Detection in Large Datacenters
83 Amir Geva 2013 Abstracts Theses Far Field Surveillance Target Classification
84 Erez Druk 2013 Abstracts Theses Linear Time Encodable Codes and Cryptography
85 Mordechai Porat 2013 Abstracts Theses A Semantic Approach to User Interface Design
86 Sabih Agbaria 2013 Abstracts Theses On Incomplete Bug Fixes and Programmers' Intuition on These
87 Hanna Fadida 2013 Abstracts Theses Automatic Extraction of Subcategorization Frames for Hebrew
88 Dmitry Pidan 2013 Abstracts Theses Selective Prediction with Hidden Markov Models
89 Shay Ben-Elazar 2013 Abstracts Theses Computational Methods for Analyzing Gene Regulation in Model Organisms
90 Eyal Posener 2013 Abstracts Theses Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auction
91 Yoav Haimovitch 2013 Abstracts Theses Large-Scale Semi-Supervised Sentiment Analysis
92 Daniel Hurwitz 2012

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

Performance Evaluation of Data Caches Organizations for SMT Processors
271 Constantine Elster 2005 Abstracts
Efficient Monitoring of QOS Parameters
272 Vadim Galperin 2005 Abstracts
In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals
273 Roman Barsky 2005 Abstracts
Electromigration-dependent Parametric Yield Estimation
274 Rotem Bennet 2005 Abstracts
Improved Learning with Corrupt Oracles
275 Roman Sandler Missing advisors 2005

Gabor Filters Analysis for Texture Segmentation
276 Mark Matusevich 2005 Abstracts
Off-Line Improvement of Generic Group Trackers
277 Roy Bar-Haim 2005 Abstracts
Part-of-Speech Tagging for Hebrew and other Semitic Languages
278 Michael Bronstein 2005 Abstracts
Three-Dimensional Face Recognition
279 Alex Goryachev 2005 Abstracts
Offset-Polygon and Annulus Placement Problems
280 Saar Pilosof 2005

TCP Fairness over Wireless LAN
281 Michael Slavkin 2005 Abstracts
Detecting Data Structures from Traces
282 Shimon Landa 2005 Abstracts
Combinatorial Approximation Algorithms for the Fractional Set-Cover Problem
283 Oren Shnitzer 2005 Abstracts
Self-Consistent Batch Classification
284 Oleg Izmerly 2005 Abstracts
Modern Cryptography in a Quantum World
285 Alon Flaisher Missing advisors 2005

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

On Online Learning of Decision Lists
376 Ronit Reger 2002 Abstracts
Learning and Exploiting Relative Weaknesses of Opponent Agents
377 Sagi Katz 2002

Techniques for Increasing Coverage of Formal Verification
378 Keren Bendel 2002

Applications of the Local-Ratio Technique: A Survey
379 Vitaly Feldman 2002

On Using Extended Statistical Queries to Avoid Membership Queries
380 Yaniv Hamo 2002

Balanced Packet Discard for Improving TCP Performance in ATM Networks
381 Lior Ron 2002

A Visual Feedback System
382 Dmitry Gavinsky 2002 Abstracts
Boosting with Polynomially Bounded Distributions
383 Yosef Firstenberg 2002

Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
384 Ari Frank 2002 Abstracts
A New Branch and Bound Feature Selection Algorithm
385 Gilad Ben Avi 2002 Abstracts
Monotonicity Properties of Plural Quantifiers in Natural Language
386 Liav Adi 2002

Fast Computation of Geodesic Distances: Graphic Applications
387 Asi Elad 2002 Abstracts
On Surface Flattening via MDS and FMMTD
388 Eyal Hameiri 2002

Estimating the Principal Curvatures and the Darboux Frame from Real 3D Range Data and its Application to the Recovery of Primitives
389 Sally Tadmor 2002 Abstracts
A Framework for Interactive Information Systems
390 Yaroslav Fedorov 2002

Implementing and Extending Natural Logic
391 Hilla Atzmon 2002

Replacement Policies for Internet Wide Caching of Distributed Objects
392 Emil Kohn 2002 Abstracts
A Transparent DSM System
393 Roni Ram 2002 Abstracts
Efficient Distribution of Email Messages
394 Assaf Shatil 2002

Speedup Learning for Repair-Based Search by Identifying Redundant Steps
395 Irit Katriel 2002

Implicit Data Structures based on Local Reorganizations
396 Alexandr Kaplan 2002 Abstracts
Finding Epipolar Geometry from Two Color Images
397 Shlomit Koyfman 2002

Semantic Invariance of Algorithms for Nominal Anaphora Resolution
398 Vadim Gleizer 2002 Abstracts
Optimizing Sharing Patterns and Locality via Thread Migration
399 Elena Tulchinsky 2002

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

Soft Real-Time Layered Group Communication
401 Ran Yaroshinsky 2002

Smooth Online Learning of Expert Advice
402 Dan Kenigsberg 2002

Grover's Quantum Search Algorithm and Mixed States
403 Vladislav Kalinovsky 2002 Abstracts
Symphony: Managing Virtual Servers
404 Robert Parham 2002

Solving the Dynamic Conflict between N Moving Objects Using Neural Networks
405 Tal Cohen 2002

Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice
406 Oren Zeev Ben Mordejai 2001

Efficient Integration of On-the-fly Data Race Detection in Distributed Shared Memory and Symmetric Multiprocessor Environments
407 Eli Almog 2001

Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited
408 Shiri Moran 2001

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

Probablistic Scalable Application Placement in Distributed Systems
410 Rafi Tayar 2001

Scanning Directed Eulerian Mazes by a Finite-State Robot
411 Noam Rinetskey 2001

Interprocedural Shape Analysis
412 Lior Leiba 2001

Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation
413 Dina Tal 2001

Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences
414 Alexander Gorovoy 2001

Applying Data Compression Algorithms to Software Engineering
415 Ilya Ekshtein 2001 Abstracts
Texture Mapping Using Constrained Parametrization
416 Vita Bortnikov 2001

Adaptive Algorithms for Mutual Exclusion
417 Natalie Eckel 2001

Empirical Study of Object-Layout Strategies and Optimization Techniqes
418 Yuri Tsoglin 2001

JAMOOS - an Object Oriented Language for Grammars
419 Boris Epelman 2001

Remote Geometrical Modeling
420 Julia Mosin 2001

Base Dependence of Extensions for Open Default Theories
421 Gregory Shakhnarovich 2001

Statistical Data Cloning for Machine Learning
422 Tzach Levyatan 2001

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

Topics in Compression of 3d Models
424 Julia Chuzhoy 2001

Hardness of Approximation and New Approximability Classes
425 Zehavit Kehat 2001

Approximating the Dense Set-Cover Problem
426 Vladimir Yanovski 2001

Simple Agents for Complex Tasks
427 Yoav Katz 2001

Scheduling with Batching and Incompatible Job Families
428 Yosseff Levanoni 2001

On-The-Fly Garbage Collection via Sliding Views
429 Shlomo Livne 2001

Machine Learning for Efficient BDD Variable Ordering in Verification
430 Alexander Gaysinsky 2001

Caching Integrated with Pipelined Prefetching
431 Barak Hermesh 2001

Fiducials for Precise Location Estimation
432 Irina Shapira 2001

Scheduling Splitting Intervals
433 Alexander Bogomjakov 2001

Optimized Polygon Traversal of Progressive Meshes for Vertex Caching
434 Shirley Halevy 2001

Two-Dimensional Coding for Recording Channels
435 Yan Sorkin 2001

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

Cryptanalysis of Some Modern Blockciphers
437 Guy Rey 2000

First-Order Non-Monotonic Logic
438 Erel Segal 2000

Hebrew Morphological Analyzer for Hebrew Undotted Texts
439 Victoria Skoblikov 2000

Feature-Based Computational Lexicon of Hebrew Vrebs
440 Gal Vardi 2000

Analysis and Generation of Hebrew Nouns with Derivational Morphemes
441 Gil Zigelman 2000

Texture Mapping by Surface Flattening Via Mds
442 Shay Artzi 2000

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

Object Classification from Range Images
444 Igor Dozorets 2000

Computer-Based Model for Speaker Recognition by a Human Listener
445 Nitzan Niv 2000

Dynamic Adaptation of the Sharing Granularity in Dsm Systems
446 Dmitry Levinson 2000

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

A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line
448 Patrick Chouraqui 2000

Surface Reconstruction with Triangular Bezier Patches from Range Measurements
449 Omer Barkol Missing advisors 2000

Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model
450 Yael Zbar 2000

Open Default Theories
451 Dmitry Rusakov 2000

Selective Sampling for Nearest Neighbor Classifiers
452 Dmitry Kogan Missing advisors 2000

Remote Reference Counting: Distributed Garbage Collection With Low Communication and Computation Overhead
453 Shiri Manor 2000

Scalable Multicast in a Logical Hypercube
454 Guy Lebanon 2000

Moire Pattern Synthesis
455 Michael Plavnik Missing advisors 1999

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

A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions
457 Lea Shalev Missing advisors 1999

Load Sharing in Distributed Shared Memory Systems
458 Alla Gorbach Missing advisors 1999

Computing in Anonymous Asynchronous Shared Memory
459 Costa Touma 1999

Triangle Mesh Compression
460 Lior Arzi 1999

Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document
461 Alon Ravid Missing advisors 1999

A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains
462 Amit Cohen Missing advisors 1999

A Dynamic Approach for Efficient Tcp Buffer Allocation
463 Arie Tal 1999

Decidability of Inclusion for Unification Based Automata
464 Avigail Orni Missing advisors 1999

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

Multicast Group Synchronization in Atm
466 Ilia Gretskin Missing advisors 1999

Java Interface for Irit Solid Modeler
467 Vitaly Surazhsky 1999

Morphing Planar Triangulations
468 Anatoly Koyfman Missing advisors 1999

Facilitating Generation of Help Systems
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 Dan Rosenstein Missing advisors 1999

Feature Generation Using General Constructor Functions
472 Michael Gertelman 1999

Automatic User Interface Generation from a Given Domain Model
473 Sharon Or Missing advisors 1999

Encapsulating Real-Time in Failure Detectors
474 Alon Raviv 1999

Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions
475 Yuri Miroshnik Missing advisors 1999

Skew-Tolerant Clocking Techniques
476 Dror Rawitz Missing advisors 1999

Combinatorial and LP-based Methods for Designing Approximation Algorithms
477 Ronny Lempel Missing advisors 1999

Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web's Link- Structure
478 Marina Biberstein Missing advisors 1999

Constructions and Bounds for Blot-Correcting Codes
479 Arnon Netzer 1999

Mosaicing Video Sequences
480 Octavian Soldea Missing advisors 1999

Algorithms on Continued Fractions
481 Ronit Nossenson Missing advisors 1999

Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components
482 Jacob Eckel 1998

A Framework for Static Checking of Design Level Traits
483 Tali Yatzkar 1998

Lower Bound on the Bisection Width of the Butterfly Network
484 Sagi Snir 1998

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

Visualization of Large Terrains in Resource-Limited Computing Environments
486 Eyal Dagan 1998

Universal Operations: Unary Versus Binary
487 Inna Bianu-Minei 1998

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

Dynamic Schemes for Specualtive Code Execution
489 Harry Hornreich 1998

A Case Study of Software Reengineering
490 Vitaly Skachek 1998

Coding for Spectral-Null Constraints
491 Anna Gringauze 1998

The Complexity of Propositional Proofs
492 Amit Reisman 1998

Animation Using Parallel Progressive Ray-Tracing
493 Ari Freund 1998

On-Line Assignment with Load Balancing
494 Ziv Mador 1997

The Probed Partial Digest Problem - Algorithms and Number Of Solutions
495 Roman Talyansky 1997

Coding for Two-Dimensional Constraints
496 Roman Kazinnik 1997

Free-Form Surface Editing Using Multiresolution Decomposition
497 Kirill Shoikhet 1997

Optimal Triangulations Via Mininal Separators
498 Yuval Ishai 1997

Characterizing Perfect Privacy
499 Ehud Aharoni 1997

Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks
500 Fanny Faina Shpilberg 1997

Wd-Pic, a Wysiwyg Direct-Manipulation Pic
501 Tal Drory 1997

Consistency Maintenance by Self Stabilization in Active Temporal Databases
502 Leonid Voldman 1997

Using Smart Terminals to Effectively Enhance Commuication Throughput
503 Boris Zemlyak 1997

Direct Depth from Axial Camera Motion
504 Beery Holstein 1997

T++ : Test Case Generator Using Code Abstraction
505 Galia Givaty 1996

Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries
506 Ohad Ben-Shahar 1996

To Push Or Not to Push: on the Rearrangement of Movable Objects by a Mobile Robot
507 Gitit Ruckenstein 1996

Encoding for Input-Constrained Channels
508 Nadav Eiron 1996

Variants of Mistake Bound Learning Algorithms
509 Alexander Dubrovsky 1996

Load Balancing in Distributed Shared Memory System
510 David Barta 1996

A System for Document Reuse
511 Ofra Hod 1996

Constructions for Error-Correcting Codes and Covering Codes
512 Ishai Rabinovitz 1996

Random and Deterministic Approximation Algorithms for Covering Problems.
513 Eli Stein 1996

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

Weak Consistency Distributed Shared Memory System Design
515 Hillel Miller 1996

Saving Space by Fully Exploiting Invisible Transitions
516 Anna Moss 1996

Quantifying the Reliability of Feature-Based Object Recognition
517 Ilan Evron 1996

Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections
518 Olga Tebelev 1996

Volumetric Computer Graphics in Surgery Process Planning
519 Boris Farizon 1996

Dynamic Data Management in Parallel Ray Tracing
520 Shmuel Cohen 1996

Matching of Curves in Computer Aided Geometric Design and Computer Graphics
521 Juliana Sheinerman 1996

Consequence Relations for Default Reasoning Without the 'and' Rule
522 Michael Kliot 1996

Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases
523 David Konopnicki 1996

Information Gathering in the World-Wide Web: the W3ql Query Language and the W3qs System
524 Guy Bashkansky 1996

Monolingual Translator Workstation
525 Boaz Tamir 1995

K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems
526 Segev Wasserkrug 1995

Neural Network Design for Classification
527 Elena Ravve 1995

Model Cheking for Various Notions of Product
528 Nira Shavitt 1995

Mapping Dynamic Parallel Programs Into Parallel Systems
529 Ann Becker 1995

Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem
530 Ronen Hod 1995

Coding Methods for Imput Constraind Channels
531 Michael Kariv 1995

Model-Based Compression of Synthetic Animation Sequences
532 Polina Golland 1995

Use of Color for Optical Flow Estimation
533 Yigal Bejerano 1995

Setup and Maintenance of a Multi-Point Conversation
534 Noam Paz 1995

Ursus: An Advanced Neural Network Environment
535 Irina Notkin 1995

Parallel Adaptive Ray Tracing
536 Ahron Kupershtok 1995

The Hypercube - Features Generalizations and Embedding Sets Of Numbers in It
537 Tamar Tamir 1995

Local Labeling and Resource Allocation Using Preprocessing
538 Rinat Rappoport 1995

The Level of Handshake Required for Establishing Connection
539 Asaf Shirazi 1995

Efficient Wait-Free Implementations of Atomic Snapshot Memories
540 Artur Zavalkovsky 1995

Mys - An Object Oriented Database Management System in the Mach Operating System Environment
541 Karen Holtz 1995

Semrel - a Semantic Relationship Model for Object Oriented Databases
542 Amir Eliaz 1995

Handwriting Recognition Via Short Line Segments
543 Zvi Berkovich 1994

Sematic Debugging of Black Boxes
544 Allon Adir 1994

Compiling Programs with Multiparty-Interactions and Teams
545 Arie Ben Ephraim 1994

Pattern Recognition Using Similarity Networks
546 Mordechai Frances 1994

Measuers of Complexity of Classes of Sets and Their
547 Hagit Brit 1994

Public Data Structures and Public Counters as a Special Case
548 Amir Ben-Dor 1994

On the Complexity of Computing the Permanent
549 Irit Rosdeutscher 1994

Systematic Experimentation with Macro-Learning
550 David Lorenz 1994

Learning in Games Using Symbolic Classification
551 Michal Jacovi 1994

Learmnning in the Limit and Non-Uniform
552 Galit Shemesh 1994

Upper & Lower Bounds in Reconfigurable Networks
553 Oren Brezner 1994

Expectation Semantucs for Modal Logic
554 Gilad Granot 1994

Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
555 Tal Djerassi-Shintel 1994

Lower Bounds for Decision Problems in Semi-Sjnchronous
556 Oded Lempel 1994

Dual Round Retiming
557 Baruch Katz 1994

Minimzing the Performance Degradation Due to Conditional
558 Shoham Ben-David 1994

Using Graphs to Represent Equivalence Classes of Parallel
559 Amnon Shaham 1994

Implementation of Multi-Writer Multi-Reader Atomic Register
560 Offer Zimerman 1994

Using "Write"Only Cache" for Improring "Cacne Based" Systems
561 Benjamin Gershon 1994

Synthesis of Concurrent Systems
562 Yael Abarbanel 1994

Algorithms for Dynamic Graphs
563 Ishai Ben-Aroya 1994

Bounds and Algorithms for Deflection Routing
564 Leonid Zosin 1994

Privacy of Symmetric Functions
565 Evgeny Roytman 1994

Dynamic Color Quantization of Animation Sequences
566 David Carmel 1994

Learning Models of Strategy's Strategy in Game Playing
567 Shai Halevi 1993

Greedy Hot-Potato Routing
568 Yishay Brown 1993

Common Sense Maps Generator
569 Lev Finkelstein 1993

Learning to Play by Acquiring Move-Patterns
570 Yaron Sella 1993

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

Synthesis of Modular Delay-Insensitive Netwerks from Petri
572 Ronit Fraiman 1993

Complexity of Learning by Distances
573 Ronit Lubitch 1993

Closed Schedvlers: Motivation Construction and Application
574 Ophir Munk 1993

A New Parallel Factorization A= Ddtbc for Band Symmetric
575 Moshe Levinger 1993

Morphological Disambiguation in Hebrew
576 Netta Aizenbud 1993

Self-Stabilization of Fault-Tolerant Distributed Algorithms
577 Ariel Kahan 1993

Zero Knowledge Proofs with Constant Number of Iterations
578 Arnon Amir 1993

Depth from Structured Lisht and Axial Motion
579 Shaul Silvian Marcus 1993

Estimation of Lexical Relations Using Word Similarities
580 Abraham Sharell 1993

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

A Verge and Randomized Complexity of Distributed Problems
582 Tatiana Orenstein 1993

Using Partial Scan for Testing of Digital Sequential Circoir
583 Alon Efrat 1993

Dynamically Maintainhg the Ceter of a
584 Mircea Namolaru 1993

Compilation Techniques for Distributed Constraint Languages
585 Ilan Ronel 1993

Topolgy Design Capacity Allocation and Route Assignment
586 Amos Beimel 1992

Ideal Secret Sharing Schemes
587 Elana Zamir 1992

Semantic Parser for Context Free Sentences in Hebrew
588 Dror Sneh 1992

The Complexity of Global Computation in the Presence of
589 Yoram Singer 1992

Non Parametric Methods for Speech Consonants Recognition
590 Lee-Bath Nelson 1992

Characterization of Distributed Interactive Tasks
591 Michal Dvir 1992

Incompleteness and the Theory of Computer Science
592 Irit Yadin 1992

The Distributet Counter Problem
593 Eran Aharonson 1992

The Structure of Counting Networks
594 Nir Dvir 1992

Freezing - Interaction Between Concurrent Distributed Algs.
595 Erez Petrank 1992

The Knowledge Complexity of Interactive Proofs
596 Avigdor Pollak 1992

From Neural Networks to Production Rvles and Back
597 Ze'ev Collin 1992

A Self Stabilizing Distributed Solution
598 Ophir Rachman 1992

Wait Free Randomized Consensus
599 Isaac Nativ 1992

Consistent Database with Non-Serialized Queries
600 Merav Michaeli-Aaroni 1992

A Generalization of Group Testing
601 Yardena Peres 1992

Implementation of the Grid File System
602 Ruben Hasson 1992

A Comparison of Data Models Forcomplex Objects
603 Yaniv Barguri 1992

The Hierarchy of Transitive Closure
604 Ran Canetti 1992

A Tradeoff Between Randomness and Commonication Complexity
605 Nir Solel 1991

Efficient Algorithms for Disjoint Paths Steiner Tree
606 Anat Helman 1991

Parallel Solution of An Elliptic Eguation in Twd Dimentidns
607 Shalom Wintner 1991

Syntactic Analysis of Hebrew Sentences
608 Meir Pinhasov 1991

A Linear-Time Bounded Concurrent Time-Stamp Scheme
609 Johny Srouji 1991

Adaptaticn of the Unix Ditroff for Formatting Arabic Text
610 Hana De-Lion 1991

Real Time Temporal Logics
611 Michel Adar 1991

An Interactive Graphical Development System for Orject
612 Guy Even 1991

Construction of Small Probability Spaces
613 Miriam Sharon 1991

Learning Automata
614 Raanan Grinwald 1991

Merging Polygons with Holes
615 Yair Amir 1991

Customer Scheguling Under Qveueing and Delay Constraints
616 Ron Resnik 1991

Nuerical Analysis of Two-Phase Rotating Flow
617 Yael Rinoenau 1991

An Efficient Algorithm for Maximum Dyramis Flow Problem
618 Eli Dichterman 1991

Derandomizing Online Algorithms
619 Gil Shurek 1991

Modular Computer Aided Verification of Concurrent Systems
620 Rami Marelly 1991

Automatic Verifier of Distributed Algorithms
621 Mordkhai Lempel 1990

Modular Lattices - An Algorithmic Approach
622 Zeiev Shtapler 1990

Automatic Verification of Distributed Algorithms
623 Erela Amit 1990

Machine Learning Algorithm for Diagnosing Misconceptions
624 Dan Kimmel 1990

Simulation Project on Ibm/pc for Electronic Wallet
625 Lyor Goldstein 1990

Generation and Analysis of the Possession Inflexion of
626 Gidon Yona 1990

Verification of Protocols Fur Sharfd Registers Systems by G
627 Netta Shani 1990

On the Privocy Gdp in Dense Symmetric Functions
628 Lior Moscovici 1990

Implementing Distributed Tasks in Presence of Failures
629 Yuval Neeman 1990

Domain Archetype - a Eeasiblit Y Study
630 Ady Tal 1990

Vertex Disjoint Paths in Series Paraller Graphs
631 Oran Sharon 1990

Session Management and Organization in Broadcast Networks
632 Sergio Fogel 1990

Ray Shooting: Searching and Counting Queries
633 Shlomo Dolev 1990

Self Stabilization of Dynamic Systems Assuming Only Read/
634 Robert Geva 1990

Representation of Irrelevance Relations by Graphs
635 Ariel Calo 1990

The Expressive Power of the Transitive Closure
636 Osnat Meir 1990

Analysis of the Performance of the Exponential Pxramid
637 Eyal Ben-Chanoch 1990

Covering Polygons with Squares
638 Elan Neeman 1990

Route Setmp and Takedown in a Funnel Network
639 Sara Bittan 1990

Linear Broadcast Routing
640 Marc Elie Jalfon 1990

Self Stabilizing Random Algorithms on Distributed Uniform Sy
641 Shmuel Ur 1990

Graphoids: Graph Representation and Membership Problems
642 Shimon Yanai 1990

Environment for Translating "Metafont"to"Postscrcpt"
643 Moshe Molcho 1990

Distributed Algorithms with a Fault Detection Ring
644 Iris Bezalel 1990

Structured Design of Delay-Insensitive Controllers
645 Doron Cohen 1990

Combinatorical Designs Derived from Constant Weight Godes
646 Rivka Licht 1990

Realization of Permutations in a Shuffle-Exchange Network
647 Michal Shany-Klein 1990

Generating & Analyzing Segolatenoun Inflection in Hebrew
648 Ruthi Erez 1990

An Interactive Iaterpretes Withgraphic Display of Program
649 Eyal Kushilevitz 1989

Perfect Zero-Knowledge Proofs
650 Tziporet Koren 1989

On the Construction of Pseudo Random Block Ciphers
651 Simona Cohen-Rabinovici 1989

Parallelization Strategies in Knowledge Bases
652 Ehud Hausman 1989

Erd Raseb Natural Qvery Langvage
653 David Goldfeld 1989

Eguivalence of Interconnection Netnorus
654 Uri Habusha 1989

Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
655 Moises Sananes 1989

Dros a Distributed Replicated Data Systam
656 Yael Shemesh 1989

Relation Recognizing Automatta
657 Alon Lavie 1989

Two Level Morphology for Hebrew
658 Yael Gafni 1989

Semantics for a "Knowing at Most" Operator
659 Laurent Fournier 1989

Performance Evalualion of Priorilized Token Sing Local
660 Abraham Nathan 1989

Compilation of Fcp to Carmel and Its Performance Analysis
661 Ofrit Lesser 1989

Routing by Controlled Flooding
662 Raz Rafaeli 1989

Global Time in Distributed Systems
663 Esther Leyzerovitch 1989

Impiementing Superimpositions for Occam
664 Tony Wolfman 1989

""Flo" a Language for Typesetting Flowcharts
665 Zvi Ostfeld 1989

Des Trees Construction:characterizations and Sequential and
666 Gil Allon 1989

Towauosabi Divectional Operating System
667 Oren Hurvitz 1989

Janus Automata as a Model for the Intelligent Scan Problem
668 Amir Rahat 1989

Logic Programming in a Distributed Euvironment
669 Gil Sideman 1989

Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
670 Gabriel Matsliach 1989

Fitting Traditional Search Structures to New Architectures.
671 Itay Kariv 1989

Hierarchical Symbolic Indices in General Purpose
672 Ameen Abu-Hanna 1988

An Integrated Deep-Shallow Expert System for Multi-Leuel
673 Zeev Becker 1988

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

Maintenance of Unreliable Distributed Systems
675 Iris Reicher 1988

Verification and Synthesis of Asynchronous Circuits


676 abstract theses title found in the Department Computer Science
Last updated on: Tuesday ,March 28, 2017