MSc Theses – Computer Science

Department Computer Science
Department Web Site
Student Name Graduation Year Advisors Abstarcts Research Name
Dan Rasin 2018 Grumberg Orna, Shoham-Buchbind Sharon, Abstracts Modular Verification of Concurrent Programs via Sequential Model Checking
Tamer Mour 2018 Kushilevitz Eyal Abstracts New Efficient Constructions for Distributed Oblivious RAM
Amit Fuchs 2018 Mendelson Avi Abstracts Fault-Tolerant Operanting System for Many-Core Processors
Tal Shor 2018 Geiger Dan Abstracts SciLMM: Computing Heritability with Millions of Individuals
Gili Yavneh 2018 Attiya Hagit Abstracts Remote Memory References at Block Granularity
Maya Levy 2018 Yaakobi Eitan Abstracts Mutually Uncorrelated Codes for DNA Storage
Niv Hooker 2018 Etzion Tuvi Abstracts On the Existence of the q-Fano Planes
Anna Trostanetski 2018 Grumberg Orna Abstracts Modular Demand-Driven Analysis of Semantic Difference for Program Versions
Barak Pat 2018 Gil Joseph, Kanza Yaron, Abstracts Geosocial Search: Finding Places based on Geotagged Social-Media Posts
Snir Cohen 2018 Mannor Shie Abstracts Restricted Optimism
Nurit Moscovici 2018 Petrank Erez Abstracts A GPU-Friendly Skiplist Algorithm
Yoav Nahshon 2018 Kimelfeld Benny Abstracts Relational Framework for information Extraction
Netanel Kligler 2018 Tal Ayellet Abstracts On Visibility and Image Processing
Dmitry Rabinovich 2018 Bruckstein Alfred Abstracts Gathering of Agents on a Line
Amit Gross 2018 El-Yaniv Ran Abstracts Usages of Selective Regression
Sa'ar Zehavi 2018 Kushilevitz Eyal Abstracts On the Gap Between Deterministic Communication Complexity and the Partition Number
Michael Amir 2018 Bruckstein Alfred Abstracts Probabilistic Pursuits on Graphs
Yuval Dagan 2018 Filmus Yuval Abstracts Twenty Questions Game Using Restricted Sets of Questions
Tamir Carmeli 2018 Cohen Reuven Abstracts Detection of BGP Hijacking Using TTL Analysis
Dalia Alperovich 2018 Yakhini Zohar, Mandel-Gutfreun Yael, Abstracts Efficient Search for Optimally Enriched Combination of Ranked Lists
Gil Kupfer 2018 Tsafrir Dan, Nadav Amit, Abstracts IOMMU-Resistant DMA Attacks
Igor Zarivach 2018 Moran Shlomo, Yossi Shiloach, Abstracts The Cruncher: A solver for Large-Scale MIP Problems
Arthur Kiyanovski 2018 Tsafrir Dan Abstracts The Real Difference Between Emulation and Paravirtualization of High-Throughput I/0 Devices
Dan Elbaz 2018 Zibulevsky Michael Abstracts Speech Signals Frequency Modulation Decoding via Deep Neural Networks
Roei Gelbhart 2018 El-Yaniv Ran Abstracts The Relationship Between Agnostic Selective Classification Active Learning and the Disagreement Coefficient
Waseem Makhoul 2018 Bshouty Nader Abstracts On Polynomial Time Constructions of Minimum Height Decision Tree
Ori Marcovitch 2018 Gil Joseph Abstracts A Nano Patterns Language for Java
Rivka Malca 2018 Reichart Roi Abstracts Neural Transition Based Parsing of Web Queries: An Entity Based Approach
Ali Tabaja 2018 Cohen Reuven Abstracts A Network Layer Attack for the Price of a Physical Layer Attack in a Wireless Mesh Network with Application to RPL
Seri Khoury 2018 Censor-Hillel Keren Abstracts New Lower Bounds for the CONGEST Model
Uzi Cohen 2018 Kimelfeld Benny Abstracts Query Engine System for Probabilistic Preferences
Hilal Asi 2018 Yaakobi Eitan Abstracts Constructions of PIR and Batch Codes for Distributed Storage
Noam Ravid 2018 Kimelfeld Benny Abstracts Ranked Enumeration of Tree Decompositions
Evgeny Moroshko 2018 Cohen Reuven Abstracts Sampling-on-Demand in SDN
Sarai Duek 2018 Markovitch Shaul Abstracts Automatic Generation of Language-Independent Features for Cross-Lingual Classification
Yufei Zheng 2018 Barequet Gill Abstracts Two Researches on Lattice Animals
Nahum Farchi 2018 Ben-Chen Mirela Abstracts Integer-Only Cross Field Computation
Roman Shor 2018 Yaakobi Eitan, Yadgar Gala, Schuster Assaf, Abstracts Efficiently Combining Confidentiality and Availability in Distributed Storage Systems
Eden Saig 2018 Ben Sasson Eliyahu Abstracts Modeling Collaborative Discovery
Itamar Talmi 2018 Zelnik-Manor Lihi Abstracts Template Matching with Deformable Diversity Smiliarity
Majd Omari 2018 Ishai Yuval Abstracts The Complexity of Identifying Cheaters
Itay Hazan 2017 Kushilevitz Eyal Abstracts Two-Party Direct-Sum Questions through the Lens of Multiparty Communication Complexity
Matan Liram 2017 Yadgar Gala, Schuster Assaf, Yaakobi Eitan, Abstracts Evaluating Zigzag Code in a Distributed Storage System
Areej Costa 2017 Bshouty Nader Abstracts Exact Learning of Juntas from Membership Queries
Gal Maor 2017 Ben Sasson Eliyahu Abstracts Information Theory and Privacy Related Questions in Communication Comlexity
Tehila Mayzels 2017 Etsion Yoav Abstracts Software Management of Hardware Memory Versioning
Eyal Moscovici 2017 Tsafrir Dan Abstracts Towards Sidecore Management for Virtualized Environments
Matan Hamilis 2017 Ben Sasson Eliyahu, Silberstein Mark, Abstracts Parallel Additive Fast Fourier Transform Algorithms
Evgenya Pergament 2017 Ben Sasson Eliyahu Abstracts Algebraic RAM
Avi Kaplan 2017 Lindenbaum Michael, Avraham Tamar, Abstracts Interpreting the Ratio Criterion for Matching SIFT Descriptors
Elad Richardson 2017 Kimmel Ron Abstracts Learning to Reconstruct Face Geometries
Tomer Levy 2017 Gil Joseph Abstracts Fajita – a Fluent API for Automatic Generation of Fluent APIs in Java
Lior Friedman 2017 Markovitch Shaul Abstracts Recursive Feature Generation for Knowledge-Based Induction
Rotem Liss 2017 Mor Tal Abstracts Entanglement and Geometrical Distances in Quantum Information and Quantum Cryptography
Yoni Choukroun 2017 Kimmel Ron Abstracts On Elliptic Operators and Non-Rigid Shapes
Gal Sheffi 2017 Petrank Erez Abstracts A Scalable Linearizable Multi-Index Table
Roni Licher 2017 Friedman Roy Abstracts Hardening Cassandra Against Byzantine Failures
Tal Regev 2017 Indelman Vadim Abstracts Multi- Robot Decentralized Belief Space Planning in Unknown Environments
Ran Breuer 2017 Kimmel Ron Abstracts A Deep Learning Perspective on the Origine of Facial Expressions
Yi Ren 2017 Elad Michael Abstracts Example-Based Image Synthesis via Randomized Patch-Matching
Ran Bernstein 2017 Schuster Assaf Abstracts Laban Movement Analysis and LDA Distributed Monitoring
Boris Pismenny 2017 Schuster Assaf, Orna Agmon Ben-Yehud, Abstracts Market Driven Queueing
Ran Koretzki 2017 Schuster Assaf, Yaakobi Eitan, Abstracts Improving SSD-based Caches Lifetime with Write-Once Memory Codes
Rina Levy 2017 Censor-Hillel Keren, Shachnai Hadas, Abstracts Fast Distributed Approximation for Max-Cut
Naama Haramaty Krasne 2017 Kushilevitz Eyal, Ishai Yuval, Abstracts Low-Complexity Cryptographic Hash Functions
Yanir Damti 2017 Moran Shlomo, Gronau Ilan, Yavneh Irad, Abstracts Adaptive Methods for Computing and Comparing Evolutionary Distances
Gal Cohen 2017 Raz Dan Abstracts On routing schemes that are robust to changes in bandwidth demand
Michael Balber 2017 Shlomi Tomer Abstracts Constraint-Based Isotope Tracing (CBIT): Inferring Flux Constraints from Isotopic Tracing Data
Nir Hershko 2016 Elber Gershon Abstracts 3D Augmentations of 2D Maps
Karam Abdelkader 2016 Shoham-Buchbind Sharon, Grumberg Orna, Abstracts Automated Circular Assume-Guarantee Reasoning
Evgeny Abramovich 2016 Yahav Eran Abstracts Static Mining of Common Concurrency Patterns
Yael Mordechai 2016 Shachnai Hadas Abstracts Optimization and Reoptimization in Scheduling Problems
Nitsan Chrizman Cherkassky 2016 Itai Alon Abstracts How to Construct Multilingual Domain Ontologies
Shir Yadid 2016 Yahav Eran Abstracts Extracting Code from Programming Tutorial Videos
Arie Rond 2016 Elad Michael Abstracts Handling poisson Inverse Problems by the Plug-and-Play Priors Scheme
Noam Segev 2016 El-Yaniv Ran Abstracts Transfer Learning using Decision Forests
Jonathan Andre Wagner 2016 Hazan Elad Abstracts Multiplicative Approximation Algorithms for Generalized Covering and Packing Problems
Iddo Zmiry 2016 Gil Joseph Abstracts Lola – A Programming Language for Augmenting Programming Languages
Avi Stiefel 2016 Barequet Gill Abstracts Motion Planning in the Presence of Mobile Obstacles
Irena Grabovitch-Zuyev 2016 Bar-Yossef Ziv, Kanza Yaron, Abstracts Entity search in Facebook
Aviv Segall 2016 Ben-Chen Mirela Abstracts 2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates
Omer Geiger 2016 Markovitch Shaul Abstracts Algorithmic Exam Generation
Erez Timnat 2016 Naor Joseph Abstracts The List Update Problem
Alexandre Djerbetian 2016 Ben-Chen Mirela Abstracts Tangent Vector Fields on Triangulated Surfaces – An Edge-Based Approach
Ilya Lesokhin 2016 Tsafrir Dan Abstracts I/O Page Faults
Anat Berkman 2016 David Harel, Yahav Eran, Abstracts Scenario based programming for Mobile Applications
Jalil Moraney 2016 Raz Dan Abstracts Efficient Detection of Flow Anomalies with Limited Monitoring Resources
Rami Jioussy 2015 Mendelson Avi, Wolff Ran, Abstracts Enhancing Energy-Performance for Power Constrained SoC Systems
Raziel David Has Green 2015 Cohen Reuven Abstracts When a Router Tells Different Stories to Different Neighbors: A New Partition Attack on Link-State Routing Protocols
Eitan Rosenfeld 2015 Tsafrir Dan, Michael Factor, Abstracts RAIDP: Replication with Intra-Disk Parity
Moshe Malka 2015 Tsafrir Dan Abstracts Rethinking the I/O Memory Management Unit (IOMMU)
Meital Zilberstein 2015 Yahav Eran Abstracts Code Similarity via Natural Language Descriptions
Nadia Labai 2015 Makowsky Johann Abstracts Definability and Hankel Matrices
Ido Gonen 2015 Friedman Roy Abstracts Defending against Eclipse Attacks in Unstructured Overlays
Shmuel Ben-Yehuda 2015 Tsafrir Dan Abstracts The nom Profit-Maximizing Operating System
Ella Bolshinsky 2015 Friedman Roy Abstracts Towards an Autonomous Sailing Trainer
Alexander Nus 2015 Raz Dan Abstracts Migration Plans with Minimum Overall Migration Time
Eli Sennesh 2015 Gil Joseph Abstracts Unstructured Jumps and Compressed Size as Defect-Prediction Metrics
Liat Peterfreund 2015 Kaminski Michael Abstracts Closure under Reversal of Languages over Infinite Alphabets: A Case Study
Ran Ben Bassat 2015 Shachnai Hadas Abstracts Parameterized Automata Constructions and Their Applications
Eric Yudin 2015 Kimmel Ron, Yahav Eran, Abstracts Improving Facial Expression Analysis via Intrinsic Normalization of Surfaces
Gregory Borodin 2015 Markovitch Shaul, Kanza Yaron, Abstracts Efficient Query Recommendation
Eldar Aharoni 2015 Kushilevitz Eyal Abstracts Direct Sum Related Problems in Communication Complexity
Gil Briskin 2015 Rivlin Ehud, Rotstein Hector, Abstracts Estimating Pose and Motion Using Bundle Adjustment and Digital Elevation Model Consraints
Noa Elad 2015 Naor Joseph Abstracts Online Semidefinite Programming
Yossi Kuperman 2015 Tsafrir Dan Abstracts vRio: Efficient Paravirtual Remote I/O
Omer Peleg 2015 Tsafrir Dan Abstracts Utilizing the IOMMU Scalably
Tariq Toukan 2015 Censor-Hillel Keren Abstracts Fault-Tolerant Information Spreading Algorithms
Hassan Abasi 2014 Bshouty Nader Abstracts On r-Simple k-Path
Alexander Zlotnik 2014 Raz Dan Abstracts Efficient Use of Geographically Spread Cloud Resources
Rouven Strauss 2014 Elber Gershon Abstracts Geometric Multi-Covering
Kayla Jacobs 2014 Itai Alon, Wintner Shalom, Abstracts Hebrew Acronym: Identification; Expansion and Disambiguation
Nitzan Shapira 2014 Ben-Chen Mirela Abstracts Cross-Collection Map Inference by Intrinsic Alignment Shape Spaces
Boris Cherevatsky 2014 Shimshoni Ilan, Rivlin Ehud, Abstracts Estimating Epipolar Geometry for Mobile Robots
Yoav Kantor 2014 Friedman Roy Abstracts Combining Erasure-Code and Replication Redundancy Schemes for Increased Storage and Repair Efficiency in P2P Storage Systems
Elior Malul 2014 Gil Joseph, Etzion Opher, Abstracts Towards Temporal Correctness of Event Processing
Dima Elenbogen 2014 Strichman Ofer, Katz Shmuel, Abstracts Proving Mutual Termination of Programs
Ben Lee Volk 2014 Shpilka Amir Abstracts On the Structure of Boolean Functions with Small Spectral Norm
Maor Grinberg 2014 Elber Gershon Abstracts Comprehensive Free Handed 3D User Interface for Geometric Design Systems
Nir Shmuel Hauser 2014 Friedman Roy Abstracts COARA: Code Offloading on Android with RMI and Aspects
Denis Rybnikov 2014 Ben-Chen Mirela, Gotsman Chaim Craig, Abstracts A Semi-Automatic System for Non-Rigid Matching and Temporally Coherent 3D Shading of Animation Sequences
Eyal Kibar 2014 Friedman Roy Abstracts E-Wolf: A Distributed Online Social Network
David Wajc 2014 Ailon Nir, Shachnai Hadas, Naor Joseph, Abstracts Parameterizing P: Proximity to Easy Variants
Alaa Ghanayim 2014 Geiger Dan Abstracts Iterative Referencing for Improving the Interpretation of DNA Sequence Data
Michael Baltaxe 2014 Lindenbaum Michael Abstracts Probabilistic Local Variation Segmentation
Yehonatan Goldman 2014 Rivlin Ehud, Shimshoni Ilan, Abstracts Robust Epipolar Geometry Estimation Using Noisy Pose Priors
Mordechai Porat 2013 Kantorowitz Eliezer Abstracts A Semantic Approach to User Interface Design
Erez Druk 2013 Ishai Yuval Abstracts Linear Time Encodable Codes and Cryptography
Nadav Shragai 2013 Elber Gershon Abstracts Geometric Covering
Raeda Naamneh 2013 Barequet Gill Abstracts Fair Multi-Label Reconstruction from Cross-Sections
Ranit Gotsman 2013 Kanza Yaron Abstracts Generating Map-based Routes from GPS Trajectories and their Compact Representation
Roman Zeyde 2013 Yavneh Irad Abstracts Computational Electrokinetics
Shaked Flur 2013 Grumberg Orna Abstracts Weak Omega Automata
Avishai Gretz 2013 Itai Alon, Wintner Shalom, Abstracts Syntactic Annotation of Hebrew CHILDES Corpora
Netanel Raviv 2013 Kushilevitz Eyal Abstracts Truth Table Minimization of Computational Models
Shay Ben-Elazar 2013 Yakhini Zohar Abstracts Computational Methods for Analyzing Gene Regulation in Model Organisms
Dmitry Pidan 2013 El-Yaniv Ran Abstracts Selective Prediction with Hidden Markov Models
Moshe Gabel 2013 Schuster Assaf, Ran Gilad-Bachrach, Abstracts Unsupervised Anomaly Detection in Large Datacenters
Karine Even 2013 Yahav Eran, Hana Chockler, Abstracts Finding Rate Numerical Stability Errors in Concurrent Computations
Haggai Toledano 2013 Markovitch Shaul Abstracts Coverage-Driven Refinement of Conceptual Representations
Alon Mishne 2013 Yahav Eran Abstracts Programming with Millions of Examples – Scalable Static Specification Mining
Eyal Posener 2013 Schuster Assaf Abstracts Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auction
Sabih Agbaria 2013 Gil Joseph Abstracts On Incomplete Bug Fixes and Programmers' Intuition on These
Yoav Haimovitch 2013 Crammer Yacov, Mannor Shie, Abstracts Large-Scale Semi-Supervised Sentiment Analysis
Assaf Rappaport 2013 Raz Dan Abstracts Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems
Amir Geva 2013 Heymann Michael Abstracts Far Field Surveillance Target Classification
Omer Strulovich 2013 Ishai Yuval, Kushilevitz Eyal, Abstracts Lossy Chains and Fractional Secret Sharing
Assaf Israel 2013 Raz Dan Abstracts Cost Aware Fault Recovery in Clouds
Pavel Gurevich 2013 Orenstein Meir, Mor Tal, Abstracts Experimental Quantum Key Distribution with Classical Alice
Yosi Atia 2013 Mor Tal Abstracts Algorithmic Cooling of Spins by Optimal Control
Hanna Fadida 2013 Itai Alon, Wintner Shalom, Abstracts Automatic Extraction of Subcategorization Frames for Hebrew
Michael Beder 2013 Bar-Yehuda Reuven Abstracts Approximation Algorithms for Resource Scheduling and Allocation Problems
Ami Paz 2013 Attiya Hagit Abstracts Counting-Based Impossibility Proofs for Distributed Tasks
Kolman Vornovitsky 2012 Domshlak Carmel Abstracts Abstractions for Devising Compact Controllers for MDPs
Amir Abboud 2012 Schuster Assaf, Daniel Keren, Abstracts Monitoring General Functions in Distributed Systems with Minimal Communication
Itamar Hartstein 2012 Zaks Shmuel, Salom Mordohay, Abstracts On the Complexity of the Regenerator Location Problem – Treewidth and Other Parameters
Amit Portnoy 2012 Friedman Roy Abstracts TrustPack: a Decentralized Trust Management Framework
Tomer Koren 2012 Hazan Elad Abstracts Learning Linear Support Vector Machines in Sublinear Time
Igor Kviatkovsky 2012 Heymann Michael, Rivlin Ehud, Adam Amit, Abstracts Color Invariants for Person Re-Identification
Eyal Regev 2012 Bruckstein Alfred, Altshuler Yaniv, Abstracts Multi Agent Systems in Stochastic Dynamic Environments
Pavel Bar 2012 Schuster Assaf Abstracts Resource Management in Grid Environments
Elad Gidron 2012 Keidar Idit Abstracts Exploiting Locality and NUMA in Scalable Conncurrent Libraries
Michael Kuperstein 2012 Yahav Eran, Martin Wechev, Abstracts Preserving Correctness Under Relaxed Memory Models
Haggai Eran 2012 Petrank Erez Abstracts A Study of Data Structures with a Deep Heap Shape
Carmi Grushko 2012 Kimmel Ron Abstracts Continuous Symmetries of Non-rigid Shapes
Dan Garber 2012 Hazan Elad Abstracts Approximating Semidefinite Programs in Sublinear Time
Uri Avraham 2012 Biham Eli, Dunkelman Orr, Abstracts ABC – A New Framework for Symmetric Block Ciphers
Omer Levy 2012 Markovitch Shaul Abstracts Teaching Machines to Learn by Metaphor
Alexandra Faynburd 2012 El-Yaniv Ran Abstracts Autoregressive Short-Term Prediction of Turning Points Using Support Vector Regression
Vadim Eisenberg 2012 Kanza Yaron Abstracts Programming Applications over the Semantic-Web
Daniel Hurwitz 2012 Itai Alon Abstracts Morphological and Lexical Decomposition as a Basis for Identifying Multiword Expressions
Avihai Mejer 2012 Crammer Yacov Abstracts Confidence Estimation in Structured Predicition
Avishay Tal 2012 Shpilka Amir Abstracts On The Minimal Fourier Degree of Symmetric Boolean Functions
Yuval Shimron 2012 Gil Joseph Abstracts Smaller Footprint for Java Collections
Ran Zemach 2012 Yavneh Irad Abstracts Algebraic Collocation Coarse Approximation (ACCA) in Multigrid
David Ben-David 2012 Schuster Assaf, Daniel Keren, Abstracts Violation Resolution in Distributed Stream Networks
Ariel Raviv 2012 Markovitch Shaul Abstracts Concept-Based Approach to Word-Sense Disambiguation
Ariel Kulik 2011 Shachnai Hadas Abstracts Submodular and Linear Maximization with Knapsack Constraints
Gilad Kutiel 2011 Raz Dan, David Brietgand, Abstracts Cost-Aware Live Migration of Services in the Cloud
Neer Roggel 2011 Friedman Roy Abstracts Anonymous Routing for Mobile Ad Hoc Networks
David Yanay 2011 El-Yaniv Ran Abstracts Supervised Learning of Semantic Relatedness
Boaz Brickner 2011 Schuster Assaf, Daniel Keren, Abstracts Methods for Recognition by Graphical Style and Style Synthesis Using Local Analysis
Israel Shalom 2011 Naor Joseph Abstracts Online Load-Distance Balancing
Gleb Polevoy 2011 Bar-Yehuda Reuven Abstracts Bandwidth Allocation in Cellular Networks with Multiple Interferences
Edward Vitkin 2011 Shlomi Tomer Abstracts Functional Genomics Based Approach for Reconstruction of Genome Scale Metabolic Network Models
Omer Weissbrod 2011 Geiger Dan Abstracts Genetic Linkage Analysis in the Presence of Germline Mosaicism
Roi Adadi 2011 Shlomi Tomer Abstracts Prediction of Microbial Growth Rate versus Biomass Yield by a Metabolic Network with Kinetic Parameters
Jonathan Yaniv 2011 Naor Joseph Abstracts Truthful Mechanisms for Value-Based Scheduling in Cloud Computing
Shachar Shem-Tov 2011 Bruckstein Alfred Abstracts Topics in Over-Parametrization Variational Methods
Katherine Barabash 2011 Petrank Erez Abstracts Scalable Garbage Collection on Highly Parallel Platforms
Anat Hashavit 2011 Markovitch Shaul Abstracts Unbiased Rational Decision Making in Multiple-Adversary Environments
Anna Shulman 2011 Friedman Roy Abstracts A Density Driven Publish Subscribe Service for Mobile Ad-Hoc Networks
Tom Kolan 2011 Roth Ronny Abstracts Coding Techiques for Burst Errors
Ilia Nudelman 2011 Cohen Reuven Abstracts Dependent UFP On a Shared Channel With Application to a Network Centric Operation
Amit Bermano 2011 Gotsman Chaim Craig Abstracts Online Reconstruction of 3D Objects from Arbitrary Cross- Section Data
Gil Cohen 2010 Shpilka Amir Abstracts On the Degree of Symmetric Functions on the Boolean Cube
Iddo Bentov 2010 Bshouty Nader Abstracts On Exact Learning from Random Walk
Nir Kerem 2010 Itai Alon Abstracts Effects of Typicality on the Interpretation of Reciprocal Expressions
Dan Albocher 2010 Elber Gershon Abstracts Real-Time Haptic Simulation for Surgical Procedures
Yael Meller 2010 Grumberg Orna Abstracts Multi Valued Abstraction and Compositional Model Checking
Noga Ron-Zewi 2010 Naor Joseph, Aharoni Ron, Abstracts Vector Representation of Graph Domination
David Peles 2010 Lindenbaum Michael Abstracts Segmentation by Classification
Raviv Elazar 2010 Shachnai Hadas Abstracts Algorithms for Two-Tier Scalable Data Upload
Ofer Egozi 2010 Markovitch Shaul Abstracts Concept-Based Information Retrieval Using Explicit Semantic Analysis
Shir Ben-Israel 2010 Ben Sasson Eliyahu Abstracts Symmetry Breaking Can Dramatically Reduce the Length of Propositional Refutations
Mordechai Nisenson 2010 El-Yaniv Ran Abstracts On the Foundations of Adversarial Single-Class Classification
Sagi Ben Moshe 2010 Fischer Eldar Abstracts Using Property Testing for Efficient Detection of Nearly-Sorted relations
Artyom Sharov 2010 Roth Ronny Abstracts Coding Techniques for Multidimensional Constrained Channels
Yevgenia Alperin 2010 Katz Shmuel Abstracts Property Analysis and Automatic Detection of Aspect Categories
Silvina Rybnikov 2010 Shimshoni Ilan, Rivlin Ehud, Abstracts Building a Non-Euclidean Roadmap from a Small Set of Images
Artiom Myaskouvskey 2010 Lindenbaum Michael Abstracts Using A Contrario Methology for Part-Based Object Detection
Masha Belchich 2010 Elber Gershon Abstracts Sketch Based Design of 2D and 3D Freeform Geometry
Anna Tzemach 2009 Geiger Dan Abstracts Preparing SNP Data For Genetic Linkage Analysis
Tali Shragai 2009 Gil Joseph Abstracts Empiric Evaluation of the Usability of Virtual Function Calls within Constructors
Evgeny Shaphir 2009 Pinter Ron, Wimer Shmuel, Abstracts Interconnect-Driven Cell-Based Migration of Integrated Circuit Layout
Yohai Devir 2009 Rabani Yuval Abstracts Intrinsic Regularization of Inverse Problems Involving Non-Rigid Shapes
Lila Shnaiderman 2009 Shmueli Oded Abstracts Incermental Reclustering of Augmented XML Trees
Alexandra Skolozub 2009 Pinter Ron Abstracts Conditional Integration of Biological Pathways
Ran Gelles 2009 Mor Tal Abstracts On the Security of Theoretical and Realistic Quantum Key Distribution Schemes
Ezer Bar-Aviv 2009 Rivlin Ehud Abstracts Function Based Object Categorization Using Simulation of an Agent
Aezalden Mhameed 2009 Raz Dan, Cohen Reuven, Abstracts Locally vs. Globally Optimized Flow-Based Content Distribution to Mobile Nodes
Raja Giryes 2009 Elad Michael, Eldar Yonina, Abstracts Automatic Parameter Tuning for Inverse Problems
Asenath Tal 2009 Barequet Gill Abstracts Algorithms for Heilbronn's Triangle Problem
Nir Shemy 2009 Friedman Roy Abstracts QoS Enforcement for Web Services in Dynamic Networks
Noam Mori 2009 Friedman Roy Abstracts 3DLS:Density-Driven Data Location Service for Mobile Ad-Hoc Networks
Rotem Oshman 2008 Grumberg Orna Abstracts Bounded Model – Checking for Branching-Time Logic
Alex Kogan 2008 Attiya Hagit Abstracts Efficient and Robust Local Mutual Exclusion in Mobile Ad- Hoc Networks
Zvi Devir 2008 Lindenbaum Michael Abstracts Generalized Blind Sampling of Images
Dan Raviv 2008 Kimmel Ron Abstracts Symmetries of Non-rigid Shapes
Yulia Dubov 2008 Kaminski Michael Abstracts Infinite Alphabet Pushdown Automata: Various Approaches and Comparison of Their Consequences
Mark Ginzburg 2008 Bruckstein Alfred Abstracts Holographic Video-Scene Watermarking in the 3D-DFT Domain
Anan Marie 2008 Domshlak Carmel, Gal Avigdor, Abstracts Second Line Schema Matchers
Amjad Aboud 2008 Rabani Yuval Abstracts Correlation Clustering with Penalties and Approximating the Recordering Buffer Management Problem
Fady Massarwi 2008 Gotsman Chaim Craig, Elber Gershon, Abstracts Papercrafts from 3D Polygonal Models
Ari Shotland 2008 Friedman Roy Abstracts Efficient Route Discovery in Hybrid Networks
Benny Godlin 2008 Strichman Ofer Abstracts Regression Verification: Theoretical and Implementation Aspects
Haim Kermany 2008 Petrank Erez Abstracts The Compressor: Concurrent, Incremental, and Parallel Compaction
Li-Tal Mashiach 2008 Bar-Yossef Ziv Abstracts Local Approximation of PageRank and Reverse PageRank
Eitan Yaakobi 2008 Etzion Tuvi Abstracts Codes for Correcting Multi-Dimensional Bursts
Andrey Klinger 2008 Tennenholtz Moshe Abstracts Stability against Group Deviations in Non-Cooperative Computation
Yuri Pekelny 2008 Gotsman Chaim Craig Abstracts Articulated Object Reconstruction and Motion Capture from Depth Video
Gil Gattegno 2008 Shimshoni Ilan, Lindenbaum Michael, Abstracts Object Recognition Using Geometric Hashing Extensions
Ishay Goldin 2008 Bruckstein Alfred Abstracts Vesicles and Amoebae: On Globally Constrained Shape Deformation
Ron Gross 2008 Kaminski Michael Abstracts Invariance under Stuttering in Branching-Time Temporal Logic
Guy Flysher 2008 Bar-Yehuda Reuven Abstracts Approximation Algorithms for Partial Capacitated Covering Problems
Guy Rosman 2008 Kimmel Ron Abstracts Efficient Flattening in Manifold Learning and Image Processing
Roy Fox 2008 Tennenholtz Moshe Abstracts Reinforcement Learning in Partially Observable Decision Processes
Bennyamin Yoshpa 2008 Orda Ariel, Schuster Assaf, Abstracts Economic Aspects of QoS in Grid Computing
Iddit Shalem 2007 Yavneh Irad Abstracts Multilevel Two-dimensional Phase Unwrapping
Yan Tsitrin 2007 Uzi Ornan Abstracts Master-Slave Dependency Model and its Application to the Hebrew Understanding
Sela Mador-Haim 2007 Winter Yoad Abstracts Natural Language Interface for Geographical Information Systems
Michael Pechuk 2007 Rivlin Ehud Abstracts Function-based Object Recognition
Alina Shaikhet 2007 Barequet Gill Abstracts The On-Line Heilbronn's Triangle Problem in d Dimensions
Hanna Mazzawi 2007 Bshouty Nader Abstracts Learning Composed Classes with a Small Number of Mistakes
Benjamin Grimberg 2007 Kaminski Michael Abstracts Minimal Model semantics for First-Order Ground Non-Monotonic Modal Logic
Amir Rubinstein 2007 Pinter Ron, Kassir Yona, Abstracts Faithful Modeling of Transient Behavior in Developmental Pathways
Laurence Bisht 2007 Bshouty Nader Abstracts On Optimal Learning Algorithms for Multiplicity Automata
Eran Eden 2007 Yakhini Zohar Abstracts Discovering Motifs in Ranked Lists of DNA Sequences
Eliyahu Osherovich 2007 Bruckstein Alfred Abstracts Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt Systems
Alik Zamansky 2007 Barequet Gill Abstracts A Framework for Surface Reconstruction of Sparsely- Sampled Objects
Shay Ohayon 2007 Rivlin Ehud Abstracts A Computational Analysis of Biological Behavior: Interactions of Gaze Control and Visual Attention
Olga Rozenfeld 2007 Tennenholtz Moshe Abstracts Strong Equilibrium in Congestion Games
Ido Guy 2007 Bar-Yossef Ziv Abstracts Cluster Ranking with an Application to Mining Mailbox Networks
Bella Dubrov 2006 Ishai Yuval Abstracts On the Randomness Complexity of Efficient Sampling
Yaron Goren 2007 Ishai Yuval Abstracts Basing Weak Public-Key Cryptography on Strong One-Way Functions
Jonathan Naor 2006 Barequet Gill Abstracts d-Dimensional Variants of Heilbronn's Triangle Problem
Omer Yehezkely 2007 Shachnai Hadas Abstracts Approximation Schemes for Packing with Item Fragmentation
Sharon Krisher 2006 Shmueli Oded Abstracts On XML Schema Identity Constraints
Shimon Golan 2006 Gal Avigdor, Pinter Ron, Abstracts Efficient Algorithms for Computing Resource Availability in WAA Environments
Alexander Shraer 2006 Keidar Idit Abstracts Timeliness, Failure-Detectors and Consensus Performance
Nela Gurevich 2006 Markovitch Shaul, Rivlin Ehud, Abstracts Automatic Generation of Near Misses for Active Learning of Visual Concepts
Oren Katzengold 2006 Mendelson Avi, Schuster Assaf, Abstracts Effective Use of Trace Caches
Oleg Polonsky 2006 Gotsman Chaim Craig Abstracts What's in an Image? Towards the Computation of Good Views for Three-Dimensional Objects
Amir Vaxman 2006 Barequet Gill Abstracts Nonlinear Interpolation between Slices
Avishay Sidlesky 2006 Barequet Gill, Gotsman Chaim Craig, Abstracts Polygon Reconstruction from Line Cross-Sections
Jacob Subag 2006 Elber Gershon Abstracts Piecewise Developable Surface Approximation of General NURBS Surfaces, with Global Error Bounds
Sivan Sabato 2006 Winter Yoad Abstracts The Semantics of Reciprocal Expressions in Natural Language
Asaf Henig 2006 Raz Dan Abstracts The Transcoders' Placement Problem over Multicast Networks
Yacov Estrin 2006 Katz Shmuel Abstracts Expert System On Translations among Formal Verification Tools in VeriTech
Alexander Lyakas 2006 Kantorowitz Eliezer Abstracts Specification-Oriented Construction of Web Information Systems
Denis Krivitski 2006 Schuster Assaf Abstracts A Local Facility Location Algorithm for Large-Scale Distributed Systems
Liza Fireman 2006 Petrank Erez Abstracts The Complexity of SIMD Alignment
Keren Censor Hillel 2006 Etzion Tuvi Abstracts Constrained Codes for Two-Dimensional Channels
Rachel Brel 2006 Grumberg Orna Abstracts Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
Itai Sharon 2006 Yona Golan, El-Yaniv Ran, Abstracts Similarity Detection for Low Complexity and Remotely Related Proteins
Dolev Dotan 2006 Pinter Ron Abstracts HyperFlow: a Visual, Ontology-Based Query and Data-Flow Language for End-User Information Analysis
Dimitry Kloper 2006 Barequet Gill, Gotsman Chaim Craig, Abstracts Geometries and Topologies of Triangulations of Point Sets
Ido Feldman 2006 Bar-Yehuda Reuven Abstracts A 2+Epsilon Approximation Algorithm for Convex Recoloring of Trees
Emilia Katz 2006 Katz Shmuel Abstracts Verifying Scenario-Based Aspect Specifications
Sivan Yogev 2006 Moran Shlomo Abstracts Evaluation of Scoring Functions for Protein Multiple Sequence Alignment using Structural Alignments
Daniel Zeitlin 2006 Kaminski Michael Abstracts Look-Ahead Finite-Memory Automata
Ehab Wattad 2006 Bshouty Nader Abstracts On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle
Ofir Avni 2006 Rivlin Ehud Abstracts Biologically Motivated Modeling and Imitating the Chameleon's Vision System
Constantine Elster 2005 Raz Dan Abstracts Efficient Monitoring of QOS Parameters
Roy Frank 2005 Penn Michal Abstracts Revenue-Maximizing Allocations in Constrained Multi-Object and Combinatorial Auctions
Shadi Saba 2005 Yavneh Irad, Sheffer Alla, Gotsman Chaim Craig, Abstracts Barycentric Spherical Embeddings – Algorithms and Theory
Haggai Yedidya 2005 Pinter Ron Abstracts Performance Evaluation of Data Caches Organizations for SMT Processors
Jonathan Laserson 2005 Bar-Yehuda Reuven Abstracts Approximations Algorithms for Sorting Buffers
Shimon Landa 2005 Naor Joseph Abstracts Combinatorial Approximation Algorithms for the Fractional Set-Cover Problem
Michael Bronstein 2005 Kimmel Ron Abstracts Three-Dimensional Face Recognition
Oren Shnitzer 2005 Markovitch Shaul Abstracts Self-Consistent Batch Classification
Alex Goryachev 2005 Barequet Gill Abstracts Offset-Polygon and Annulus Placement Problems
Orly Meir 2005 Strichman Ofer Abstracts A Decision Procedure for Equality Logic
Gil Yarom Sasson 2005 Ben-Shaul Z. Abstracts D-SEDA Distributed Staged Event-Driven Architecture
Genady Beryozkin 2005 Francez Nissim Abstracts Plural Semantics for Control Sentences in LFG's "Glue" Interface
Roy Bar-Haim 2005 Winter Yoad Abstracts Part-of-Speech Tagging for Hebrew and other Semitic Languages
Oleg Izmerly 2005 Mor Tal Abstracts Modern Cryptography in a Quantum World
Michael Slavkin 2005 Itai Alon Abstracts Detecting Data Structures from Traces
Roman Sandler 2005 Abstracts Gabor Filters Analysis for Texture Segmentation
Roman Barsky 2005 Wagner Israel Abstracts Electromigration-dependent Parametric Yield Estimation
Mark Matusevich 2005 Geiger Dan Abstracts Off-Line Improvement of Generic Group Trackers
Tamer Salman 2005 Baram Yoram, Bruckstein Alfred, Abstracts Learning Polynomial Generating Rules Using Support Vector Machines
Amnon Shochot 2005 Cohen Reuven Abstracts Extending BGP to Support the Concept of "Global AS"
Alon Flaisher 2005 Abstracts Enhanced Vacuity Detection in Linear Temporal Logic
Saar Pilosof 2005 Raz Dan Abstracts TCP Fairness over Wireless LAN
Ron Begleiter 2005 El-Yaniv Ran Abstracts Can Theory Meet Practice in Sequence Prediction?
Assaf Harel 2005 Kantorowitz Eliezer Abstracts Estimating the Number of Faults Remaining in Software Code Document Inspected with Iterative Code Reviews
Lawrance Khoury 2005 Bshouty Nader Abstracts Learning with Errors in Answers to Membership Queries
Nili Ifergan 2005 Grumberg Orna Abstracts Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation
Kobi Luz 2004 El-Yaniv Ran, Baram Yoram, Abstracts Online Choice of Active Learning Algorithms
Evgeny Yakersberg 2004 Barequet Gill Abstracts Morphing between Geometric Shapes using a Straight-Skeleton- Based Interpolation
Michael Tsirkin 2004 Rosen Adi Abstracts Delivery Times in Packet Networks under Full Load
Roy Schwartz 2004 Naor Joseph Abstracts Circular Arrangements
Alon Altman 2004 Winter Yoad Abstracts Computation and Specification of Scope Dominance with Monotone Quantifiers in Natural Language
Erez Louidor 2004 Roth Ronny Abstracts Lowest-Density MDS Codes over Super-Alphabets
Vladimir Getselevich 2004 Raz Dan Abstracts Enabling Efficient Fast Track Services in Active Networks
Simon Polak 2004 Baram Yoram Abstracts Head Motion Anticipation for Virtual-Environment Applications Using Kinematics and EMG Energy
Tatyana Veksler 2004 Francez Nissim Abstracts Automata and Type-Logical Grammars
Asaf Amit 2004 Markovitch Shaul Abstracts Learning to Cooperete with Application to Bridge Bidding
Vadim Iosevich 2004 Schuster Assaf Abstracts Distributed Shared Memory: To Relax or not to Relax?
Tali Sapir 2004 Gotsman Chaim Craig, Vishkin Uzi, Abstracts Parallel Raytracing Using the XMT Paradigm
Zvi Avidor 2004 Attiya Hagit Abstracts n-Set Consensus when Inputs are Restricted
Avraham Yadgar 2004 Grumberg Orna, Schuster Assaf, Abstracts Solving All-SAT Problem for Reachability Analysis
Oleg Rokhlenko 2004 Pinter Ron Abstracts Tree-Based Comparison of Metabolic Pathways
Moran Gavish 2004 Lindenbaum Michael Abstracts A Sequential Algorithm for Face Recognition
Dan Guez 2004 Rosen Adi Abstracts Scheduling Time-Constrained Communication in Input Queued Switches
Anna Zamansky )Lifshits( 2004 Francez Nissim Abstracts A 'Natural Logic' Inference System Based on the Lambek Calculus
Dorit Balter 2004 Moran Shlomo Abstracts Medical Records Confidentiality Problem
Philip Derbeko 2004 El-Yaniv Ran Abstracts Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms
Carmen Rotstein 2004 Winter Yoad Abstracts A Semantic Framework for Total and Partial Adjectives
Amir Bar-Or 2004 Schuster Assaf Abstracts Hierarchical Decision Tree Induction for Highly Dimensional Data in Large-Scale Distributed Systems
Maxim Mogilnitsky 2004 Israeli Moshe (Deceased), Sheffer Alla, Abstracts Efficient, Low Distortion, Conformal Parameterization of Large Meshes
Amir Sasson 2004 Keidar Idit Abstracts Understanding and Mitigating the Effects of Denail-of- Service Attacks on Secure Gossip-Based Multicast
Alexander Dvorkin 2004 Raz Dan Abstracts Ensuring End-to-End Delay in the DiffServ Model
Baruch Gilburd 2004 Schuster Assaf Abstracts A Privacy Model and Privacy-Preserving Algorithms for Data Mining in Large-Scale Distributed Systems
Michael Lifshits 2004 Rivlin Ehud Abstracts Vision-Based Navigation on Microscopic Images
Yoram Talmor 2004 Schuster Assaf Abstracts Higher Performance DSM by Peaking Network Utilization
Rami Cohen 2004 Raz Dan Abstracts Time Dependent Multi Scheduling of Multicast
Wisam Kadry 2004 Pinter Ron Abstracts Simulation of Metabolic Pathways
Michal Aharon 2004 Elad Michael, Kimmel Ron, Abstracts Representation Analysis and Synthesis of Lip Images Using Dimensionality Reduction
Sharon Shoham Buchbinder 2004 Grumberg Orna Abstracts A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement
Israel Gutter 2004 Uzi Ornan Abstracts Sentence Parsing in Hebrew by Semantic Features
Micha Moffie 2004 Barequet Gill Abstracts Counting Polyominoes in Two and Three Dimensions
Yael Merksamer 2004 Etzion Tuvi Abstracts Two Dimensional Cluster Error-Correcting Codes
Galina Tcharny 2004 Friedman Roy Abstracts Fuzzy Group Communication in Mobile Ad Hoc Networks
Vladislav Kraevoy 2003 Sheffer Alla, Gotsman Chaim Craig, Abstracts Matchmaker: Constructing Constrained Texture Maps
Sharon Keidar 2003 Grumberg Orna Abstracts Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
Alexander Goldin 2003 Gotsman Chaim Craig Abstracts Geometric Message-Filtering Protocols for Distributed Multi- Agent Environments
Ydo Wexler 2003 Geiger Dan Abstracts Finding Approximate Tandem Repeats in Genomic Sequences
Oren Sifri 2003 Sheffer Alla, Gotsman Chaim Craig, Abstracts Surface Meshing Using Geodesic Distances
Ido Tal 2003 Roth Ronny Abstracts List Decoding of Lee Metric Codes
Mirit Berg 2003 Katz Shmuel Abstracts Property Transformations for Translations
Hezi Azatchi 2003 Petrank Erez Abstracts Integrating Generations with Advanced Reference Counting Collectors
Igor Katsman 2003 Rivlin Ehud Abstracts Biologically Motivated Modeling and Simulation of Animals Vision Activities
Eliyahu Pozniansky 2003 Schuster Assaf Abstracts Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs
Gabriel Scalosub 2003 Rabani Yuval Abstracts Bicriteria Approximation Tradeoff for the Node-Cost Budget Problem
Efrat Jaeger 2003 Francez Nissim, Wintner Shalom, Abstracts Unification Grammars and Off-Line Parsability
Mirela Ben-Chen 2003 Gotsman Chaim Craig Abstracts On the Optimality of Spectreal Mesh Compression
Doron Lipson 2003 Yakhini Zohar, Sivan Uri, Abstracts Optimization Problems in Design of Oligonucleotides for Hybridization Based Methods
Avraham Owshanko 2003 Bshouty Nader Abstracts Learning Finite Automata, Using Incomplete Membership Queries
Nadav Golbandi 2003 Litman Ami Abstracts Characterization and Classification of Butterfly Like Networks
Daniel Brunstein 2003 Barequet Gill, Gotsman Chaim Craig, Abstracts Animating a Camera for Viewing a Planar Polygon
Dmitry Livshitz 2003 Bruckstein Alfred Abstracts Robotic Self Location Using Three Dimensional Fiducials and Omnidirectional Cameras
Constantine Shapiro 2003 Katz Shmuel Abstracts Object-Oriented Implementation of Reconciliations
Boris Veytsal 2003 Kantorowitz Eliezer, Friedman Roy, Abstracts Model Driven Help Systems Generation
Avraham Kenigsberg 2003 Kimmel Ron, Yavneh Irad, Abstracts A Multigraid Approach for Fast Geodesic Activ Contour
Roni Raab 2003 Gotsman Chaim Craig, Sheffer Alla, Abstracts Virtual Woodwork: Making Toys from Geometric Models
Ron Bekkerman 2003 Winter Yoad, El-Yaniv Ran, Abstracts Distributional Clustering of Words for Text Categorization
Ya'akov Broom 2003 Geiger Dan Abstracts Bayesian Classification and Clustering via DAG Hierarchies
Adi Bar-Lev 2003 Bruckstein Alfred, Elber Gershon, Abstracts virtual marionettes: a system for real-time animation in 3D
Dmitry Davidov 2003 Markovitch Shaul Abstracts Multiple-Goal Heuristic Search Algorithms
Yael Gavish 2003 Petrank Erez Abstracts Cache-Conscious Garbage Collection for Servers
Leonid Beliak 2003 Israeli Moshe (Deceased) Abstracts Adaptive Calculation of Variable Coefficients Elliptic Differential Equations via Wavelets
Dmitry Gavinsky 2002 Bshouty Nader Abstracts Boosting with Polynomially Bounded Distributions
Vitaly Feldman 2002 Bshouty Nader Abstracts On Using Extended Statistical Queries to Avoid Membership Queries
Ronit Reger 2002 Markovitch Shaul Abstracts Learning and Exploiting Relative Weaknesses of Opponent Agents
Lior Ron 2002 Baram Yoram Abstracts A Visual Feedback System
Yaniv Hamo 2002 Cohen Reuven Abstracts Balanced Packet Discard for Improving TCP Performance in ATM Networks
Shlomit Koyfman 2002 Francez Nissim Abstracts Semantic Invariance of Algorithms for Nominal Anaphora Resolution
Dan Kenigsberg 2002 Biham Eli Abstracts Grover's Quantum Search Algorithm and Mixed States
Yosef Firstenberg 2002 Katz Shmuel, Shmueli Oded, Abstracts Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
Ran Yaroshinsky 2002 El-Yaniv Ran Abstracts Smooth Online Learning of Expert Advice
Assaf Shatil 2002 Markovitch Shaul Abstracts Speedup Learning for Repair-Based Search by Identifying Redundant Steps
Vadim Gleizer 2002 Schuster Assaf Abstracts Optimizing Sharing Patterns and Locality via Thread Migration
Robert Parham 2002 Baram Yoram Abstracts Solving the Dynamic Conflict between N Moving Objects Using Neural Networks
Ari Frank 2002 Geiger Dan, Yakhini Zohar, Abstracts A New Branch and Bound Feature Selection Algorithm
Asi Elad 2002 Kimmel Ron Abstracts On Surface Flattening via MDS and FMMTD
Tal Cohen 2002 Gil Joseph Abstracts Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice
Dor Laor 2002 Friedman Roy Abstracts Soft Real-Time Layered Group Communication
Liav Adi 2002 Kimmel Ron Abstracts Fast Computation of Geodesic Distances: Graphic Applications
Gilad Ben Avi 2002 Winter Yoad Abstracts Monotonicity Properties of Plural Quantifiers in Natural Language
Hilla Atzmon 2002 Friedman Roy Abstracts Replacement Policies for Internet Wide Caching of Distributed Objects
Vladislav Kalinovsky 2002 Schuster Assaf, Friedman Roy, Abstracts Symphony: Managing Virtual Servers
Elena Tulchinsky 2002 Gil Joseph Abstracts Positive Semantics of Projections in Venn-Euler Diagrams
Eyal Hameiri 2002 Shimshoni Ilan, Lindenbaum Michael, Abstracts Estimating the Principal Curvatures and the Darboux Frame from Real 3D Range Data and its Application to the Recovery of Primitives
Sally Tadmor 2002 Kantorowitz Eliezer, Friedman Roy, Abstracts A Framework for Interactive Information Systems
Ziv Nevo 2002 El-Yaniv Ran Abstracts On Online Learning of Decision Lists
Noam Rinetskey 2001 Sagiv Shmuel, Grumberg Orna, Abstracts Interprocedural Shape Analysis
Vita Bortnikov 2001 Attiya Hagit Abstracts Adaptive Algorithms for Mutual Exclusion
Svetlana Kronrod 2001 Friedman Roy Abstracts Probablistic Scalable Application Placement in Distributed Systems
Yaroslav Fedorov 2002 Winter Yoad Abstracts Implementing and Extending Natural Logic
Yosseff Levanoni 2001 Petrank Erez Abstracts On-The-Fly Garbage Collection via Sliding Views
Shlomo Livne 2001 Markovitch Shaul, Grumberg Orna, Abstracts Machine Learning for Efficient BDD Variable Ordering in Verification
Julia Chuzhoy 2001 Rabani Yuval Abstracts Hardness of Approximation and New Approximability Classes
Tzach Levyatan 2001 Markovitch Shaul Abstracts Anytime Search by Improving Highest-Utility Solution Segments
Julia Mosin 2001 Kaminski Michael Abstracts Base Dependence of Extensions for Open Default Theories
Zehavit Kehat 2001 Bar-Yehuda Reuven Abstracts Approximating the Dense Set-Cover Problem
Barak Hermesh 2001 Bruckstein Alfred Abstracts Fiducials for Precise Location Estimation
Alexander Bogomjakov 2001 Gotsman Chaim Craig Abstracts Optimized Polygon Traversal of Progressive Meshes for Vertex Caching
Vladimir Furman 2001 Biham Eli Abstracts Cryptanalysis of Some Modern Blockciphers
Boris Epelman 2001 Elber Gershon Abstracts Remote Geometrical Modeling
Vladimir Yanovski 2001 Bruckstein Alfred Abstracts Simple Agents for Complex Tasks
Alexander Gorovoy 2001 Itai Alon, Gil Joseph, Abstracts Applying Data Compression Algorithms to Software Engineering
Boris Kronrod 2001 Gotsman Chaim Craig Abstracts Topics in Compression of 3d Models
Yoav Katz 2001 Shachnai Hadas Abstracts Scheduling with Batching and Incompatible Job Families
Gregory Shakhnarovich 2001 El-Yaniv Ran, Baram Yoram, Abstracts Statistical Data Cloning for Machine Learning
Dina Tal 2001 Uzi Ornan Abstracts Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences
Shiri Moran 2001 Litman Ami Abstracts Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues
Natalie Eckel 2001 Gil Joseph Abstracts Empirical Study of Object-Layout Strategies and Optimization Techniqes
Oren Zeev Ben Mordejai 2001 Schuster Assaf Abstracts Efficient Integration of On-the-fly Data Race Detection in Distributed Shared Memory and Symmetric Multiprocessor Environments
Lior Leiba 2001 Shmueli Oded Abstracts Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation
Yan Sorkin 2001 Gil Joseph Abstracts CD-Edit- A Constraint Diagrams' Editor
Irina Shapira 2001 Shachnai Hadas Abstracts Scheduling Splitting Intervals
Shiri Manor 2000 Friedman Roy Abstracts Scalable Multicast in a Logical Hypercube
Dmitry Rusakov 2000 Markovitch Shaul, Lindenbaum Michael, Abstracts Selective Sampling for Nearest Neighbor Classifiers
Ariella Voloshin 2000 Abstracts A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line
Patrick Chouraqui 2000 Elber Gershon Abstracts Surface Reconstruction with Triangular Bezier Patches from Range Measurements
Gil Zigelman 2000 Kimmel Ron Abstracts Texture Mapping by Surface Flattening Via Mds
Dmitry Levinson 2000 Itai Alon Abstracts Corpus-Based Methods for Word Sense Disambiguation
Dmitry Kogan 2000 Abstracts Remote Reference Counting: Distributed Garbage Collection With Low Communication and Computation Overhead
Shay Artzi 2000 Kaminski Michael Abstracts Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields
Nitzan Niv 2000 Schuster Assaf Abstracts Dynamic Adaptation of the Sharing Granularity in Dsm Systems
Guy Froimovich 2000 Rivlin Ehud, Shimshoni Ilan, Abstracts Object Classification from Range Images
Igor Dozorets 2000 Gath Isak, Shachnai Hadas, Abstracts Computer-Based Model for Speaker Recognition by a Human Listener
Gal Vardi 2000 Uzi Ornan Abstracts Analysis and Generation of Hebrew Nouns with Derivational Morphemes
Erel Segal 2000 Itai Alon Abstracts Hebrew Morphological Analyzer for Hebrew Undotted Texts
Victoria Skoblikov 2000 Francez Nissim Abstracts Feature-Based Computational Lexicon of Hebrew Vrebs
Ilia Gretskin 1999 Abstracts Java Interface for Irit Solid Modeler
Alon Raviv 1999 Elber Gershon Abstracts Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions
Arie Tal 1999 Kaminski Michael Abstracts Decidability of Inclusion for Unification Based Automata
Vitaly Surazhsky 1999 Gotsman Chaim Craig Abstracts Morphing Planar Triangulations
Arkady Estrin 1999 Abstracts A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions
Anatoly Koyfman 1999 Abstracts Facilitating Generation of Help Systems
Lior Arzi 1999 Kantorowitz Eliezer Abstracts Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document
Costa Touma 1999 Bar-Yehuda Reuven, Gotsman Chaim Craig, Abstracts Triangle Mesh Compression
Octavian Soldea 1999 Abstracts Algorithms on Continued Fractions
Amit Cohen 1999 Abstracts A Dynamic Approach for Efficient Tcp Buffer Allocation
Yuri Miroshnik 1999 Abstracts Skew-Tolerant Clocking Techniques
Ronny Lempel 1999 Abstracts Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web's Link- Structure
Dror Rawitz 1999 Abstracts Combinatorial and LP-based Methods for Designing Approximation Algorithms
Marina Biberstein 1999 Abstracts Constructions and Bounds for Blot-Correcting Codes
Avigail Orni 1999 Abstracts Measuring the Locality of Space-Filling Curves
Dan Rosenstein 1999 Abstracts Feature Generation Using General Constructor Functions
Arnon Netzer 1999 Gotsman Chaim Craig Abstracts Mosaicing Video Sequences
Shai Rubin 1999 Abstracts Using Virtual Cache Lines for Higher Data Cache Performance
Sharon Or 1999 Abstracts Encapsulating Real-Time in Failure Detectors
Lea Shalev 1999 Abstracts Load Sharing in Distributed Shared Memory Systems
Yohai Makbily 1999 Bar-Yehuda Reuven, Gotsman Chaim Craig, Abstracts Message Filtering for Geometric Distributed Virtual Environments
Inna Bianu-Minei 1998 Cohen Reuven Abstracts Increasing the Performance of Tcp Over a Unidirectional Geostationary Satellite Channel
Alla Gorbach 1999 Abstracts Computing in Anonymous Asynchronous Shared Memory
Mira Yaniv 1998 Shachnai Hadas Abstracts Dynamic Schemes for Specualtive Code Execution
Sagi Snir 1998 Moran Shlomo Abstracts A Simple and Efficient Method for Network Decomposition And Synchronization
Jacob Eckel 1998 Katz Shmuel, Gil Joseph, Abstracts A Framework for Static Checking of Design Level Traits
Harry Hornreich 1998 Berry Daniel Abstracts A Case Study of Software Reengineering
Ari Freund 1998 Naor Joseph Abstracts On-Line Assignment with Load Balancing
Tali Yatzkar 1998 Litman Ami Abstracts Lower Bound on the Bisection Width of the Butterfly Network
Boris Rabinovich 1998 Gotsman Chaim Craig Abstracts Visualization of Large Terrains in Resource-Limited Computing Environments
Boris Zemlyak 1997 Lindenbaum Michael, Bruckstein Alfred, Abstracts Direct Depth from Axial Camera Motion
Eyal Dagan 1998 Attiya Hagit Abstracts Universal Operations: Unary Versus Binary
Leonid Voldman 1997 Gil Joseph Abstracts Using Smart Terminals to Effectively Enhance Commuication Throughput
Roman Kazinnik 1997 Elber Gershon Abstracts Free-Form Surface Editing Using Multiresolution Decomposition
Ehud Aharoni 1997 Cohen Reuven Abstracts Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks
Ziv Mador 1997 Chor Ben-Zion Abstracts The Probed Partial Digest Problem – Algorithms and Number Of Solutions
Tal Drory 1997 Etzion Opher Abstracts Consistency Maintenance by Self Stabilization in Active Temporal Databases
Roman Talyansky 1997 Etzion Tuvi, Roth Ronny, Abstracts Coding for Two-Dimensional Constraints
Kirill Shoikhet 1997 Geiger Dan Abstracts Optimal Triangulations Via Mininal Separators
Yuval Ishai 1997 Kushilevitz Eyal Abstracts Characterizing Perfect Privacy
Galia Givaty 1996 Kushilevitz Eyal Abstracts Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries
Gitit Ruckenstein 1996 Roth Ronny Abstracts Encoding for Input-Constrained Channels
Ishai Rabinovitz 1996 Even Shimon (Deceased) Abstracts Random and Deterministic Approximation Algorithms for Covering Problems.
Michael Kliot 1996 Rivlin Ehud, Bruckstein Alfred, Abstracts Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases
Shmuel Cohen 1996 Elber Gershon Abstracts Matching of Curves in Computer Aided Geometric Design and Computer Graphics
Ofra Hod 1996 Etzion Tuvi, Roth Ronny, Abstracts Constructions for Error-Correcting Codes and Covering Codes
David Konopnicki 1996 Shmueli Oded Abstracts Information Gathering in the World-Wide Web: the W3ql Query Language and the W3qs System
Ohad Ben-Shahar 1996 Rivlin Ehud Abstracts To Push Or Not to Push: on the Rearrangement of Movable Objects by a Mobile Robot
Boris Farizon 1996 Itai Alon Abstracts Dynamic Data Management in Parallel Ray Tracing
Ilan Evron 1996 Cohen Reuven Abstracts Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections
Anna Moss 1996 Lindenbaum Michael Abstracts Quantifying the Reliability of Feature-Based Object Recognition
Alexander Dubrovsky 1996 Schuster Assaf Abstracts Load Balancing in Distributed Shared Memory System
Juliana Sheinerman 1996 Ben David Shay Abstracts Consequence Relations for Default Reasoning Without the 'and' Rule
David Barta 1996 Gil Joseph Abstracts A System for Document Reuse
Muhammad Magadla 2012 Friedman Roy Abstracts Accelerating CIFS over Satellite Networks
Olga Tebelev 1996 Elber Gershon, Abstracts Volumetric Computer Graphics in Surgery Process Planning
Naama Kraus 2012 Bar-Yossef Ziv, Markovitch Shaul, Abstracts Context-Aware Query Suggestion
Guy Bashkansky 1996 Uzi Ornan Abstracts Monolingual Translator Workstation
Michael Kariv 1995 Gotsman Chaim Craig Abstracts Model-Based Compression of Synthetic Animation Sequences
Dmitry Zinenko 2011 Kutten Shay Abstracts Communication-Efficient Self-Stabilization
Karen Holtz 1995 Kantorowitz Eliezer Abstracts Semrel – a Semantic Relationship Model for Object Oriented Databases
Daniel Genkin 2011 Kaminski Michael Abstracts Radical Lexicalization of Mildly Context-Sensitive Languages
Noam Paz 1995 Shmueli Oded Abstracts Ursus: An Advanced Neural Network Environment
Boaz Tamir 1995 Naor Joseph Abstracts K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems
Anna Bendersky 2011 Petrank Erez Abstracts On the Limits of Partial Compaction
Ahron Kupershtok 1995 Even Shimon (Deceased) Abstracts The Hypercube – Features Generalizations and Embedding Sets Of Numbers in It
Viacheslav Chernoy 2011 Zaks Shmuel, Salom Mordohay, Abstracts On the Performance of Dijkstra's Third Self-Stabilizing Algorithm for Mutual Exclusion and Related Algorithms
Avishay Livne 2010 Schuster Assaf, Daniel Keren, Abstracts Monitoring Distributed Data Streams
Ann Becker 1995 Geiger Dan Abstracts Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem
Adam Carmi 2010 Kaminski Michael, Pinter Ron, Abstracts Adaptive Multi-Pass Parsing
Irina Notkin 1995 Gotsman Chaim Craig Abstracts Parallel Adaptive Ray Tracing
Elena Ravve 1995 Makowsky Johann Abstracts Model Cheking for Various Notions of Product
Daniel Vainsencher 2010 Bruckstein Alfred Abstracts 2D Digital Balls
Nira Shavitt 1995 Mendelson Avi, Abstracts Mapping Dynamic Parallel Programs Into Parallel Systems
Tamar Tamir 1995 Attiya Hagit Abstracts Local Labeling and Resource Allocation Using Preprocessing
Sofia Liberman 2010 Markovitch Shaul Abstracts Wikipedia-Based Compact Hierarchical Semantics for Natural Language Processing
Asaf Shirazi 1995 Israel Amos Abstracts Efficient Wait-Free Implementations of Atomic Snapshot Memories
Polina Golland 1995 Lindenbaum Michael, Bruckstein Alfred, Abstracts Use of Color for Optical Flow Estimation
Kfir Karmon 2009 Schuster Assaf Abstracts Enforcing a Global Resource Quota in a grid Environment
Rinat Rappoport 1995 Attiya Hagit Abstracts The Level of Handshake Required for Establishing Connection
Yochay Tzur 2009 Tal Ayellet Abstracts Photogrammetric Texture Mapping Using Casual Images
Artur Zavalkovsky 1995 Kantorowitz Eliezer Abstracts Mys – An Object Oriented Database Management System in the Mach Operating System Environment
David Lorenz 1994 Markovitch Shaul Abstracts Learning in Games Using Symbolic Classification
Michael Ryabtsev 2009 Strichman Ofer Abstracts Translation Validation: from Simulink to C
Michal Jacovi 1994 Ben David Shay Abstracts Learmnning in the Limit and Non-Uniform
Einav Itamar 2008 Itai Alon Abstracts Using Movie Subtitles for Creating Statistical Alignment Models
Gilad Granot 1994 Even Shimon (Deceased) Abstracts Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
Hagit Brit 1994 Moran Shlomo Abstracts Public Data Structures and Public Counters as a Special Case
Saeb Mansour 2008 Itai Alon, Winter Yoad, Abstracts Combining Character and Morpheme Based Models for Part-of- Speech Tagging of Semitic Languages
Leonid Zosin 1994 Chor Ben-Zion Abstracts Privacy of Symmetric Functions
Arie Orlovsky 2008 Raz Dan Abstracts Decentralized Enforcement of Security Policies for Distributed Computational Systems
Mordechai Frances 1994 Ben David Shay, Litman Ami, Abstracts Measuers of Complexity of Classes of Sets and Their
Tal Zamir 2008 Schuster Assaf, Michael Factor, Abstracts Speculative Lock Acquisition for Fault-Tolerant Distributed Systems
Evelina Zarivach 2008 Gil Joseph Abstracts Evaluating Datalog Programs over Infinite and Founded Databases
Amnon Shaham 1994 Israel Amos Abstracts Implementation of Multi-Writer Multi-Reader Atomic Register
Adi Mano 2008 Pinter Ron Abstracts Building Phylogenetic Trees Based on Biochemical Pathways
Gregory Shklover 2007 Schuster Assaf Abstracts Explicitly-Parallel Code Compilation Methods for Shared- Context Architecture
Ishai Ben-Aroya 1994 Schuster Assaf Abstracts Bounds and Algorithms for Deflection Routing
Yonit Magid 2007 Makowsky Johann Abstracts BSS Model of Computation over the Reals and Choice Operator
Offer Zimerman 1994 Mendelson Avi Abstracts Using "Write"Only Cache" for Improring "Cacne Based" Systems
Erez Brickner 2007 Bruckstein Alfred, Wagner Israel, Abstracts The Populating Problem A Study in Multi-Nano-Robotics
Roman Gershman 2007 Strichman Ofer Abstracts Improvements of SAT Solving Techniques
Tal Djerassi-Shintel 1994 Attiya Hagit Abstracts Lower Bounds for Decision Problems in Semi-Sjnchronous
Dmitry Datsenko 2007 Elad Michael Abstracts Example-based Regularization in Inverse Problems
Galit Shemesh 1994 Schuster Assaf Abstracts Upper & Lower Bounds in Reconfigurable Networks
Guy Sela 2006 Elber Gershon Abstracts Exploiting the Free-Form Deformation Function as a Geometric Modeling Tool
Irit Rosdeutscher 1994 Markovitch Shaul Abstracts Systematic Experimentation with Macro-Learning
Roman Feldman 2006 Dori Dov Abstracts Designing Data Warehouse with Object-Process Methodology
Gil Ratsaby 2006 Mor Tal Abstracts Quantum Advantage, even without Entanglement
Ilan Ronel 1993 Abstracts Topolgy Design Capacity Allocation and Route Assignment
Tal Lerner 2006 Gur Moshe, Rivlin Ehud, Abstracts Motion Correction in fMRI Images
Yishay Brown 1993 Abstracts Common Sense Maps Generator
Max Goldman 2006 Katz Shmuel Abstracts Modular Verification of Aspects
Moshe Levinger 1993 Uzi Ornan Abstracts Morphological Disambiguation in Hebrew
Amir Adler 2006 Markovitch Shaul, Ariel Felner, Abstracts Reducing Memory Requirements for Pattern Databases
Roman Golubchyck 2006 Lindenbaum Michael Abstracts Improving the Saliency Algorithm by Grouping Cues Optimization
Alon Efrat 1993 Itai Alon, Bar-Yehuda Reuven, Abstracts Dynamically Maintainhg the Ceter of a
Eyal Gordon 2005 Rosen Adi Abstracts Competitive Throughput Analysis of Greedy Protocols on Directed Acyclic Networks
Noam Shintel 1993 Yoeli Michael (Deceased) Abstracts Synthesis of Modular Delay-Insensitive Netwerks from Petri
Guy Korland 2005 Friedman Roy Abstracts Location Awareness in Wireless Ad-Hoc Networks (or How to RLISE a TIGR?)
Vadim Galperin 2005 Baram Yoram Abstracts In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals
Yaron Sella 1993 Markovitch Shaul Abstracts Learning of Resource Allocation Strategies for Game Playing
Rotem Bennet 2005 Bshouty Nader Abstracts Improved Learning with Corrupt Oracles
Ophir Munk 1993 Bar-on Ilan Abstracts A New Parallel Factorization A= Ddtbc for Band Symmetric
Orit Eden 2005 Ungarish Marius, Elber Gershon, Abstracts Simulation and Visualization of Gravity Currents
Gregory Dardyk 2005 Yavneh Irad Abstracts Robust Nonlinear Multigrid Methods
Ronit Fraiman 1993 Ben David Shay Abstracts Complexity of Learning by Distances
Niv Buchbinder 2004 Petrank Erez Abstracts Lower and Upper Bounds on Obtaining History Independence
Lee-Bath Nelson 1992 Chor Ben-Zion Abstracts Characterization of Distributed Interactive Tasks
Yaniv Kaplan 2004 Attiya Hagit Abstracts Lower Bounds for Adaptive Collect and Related Objects
Ruben Hasson 1992 Makowsky Johann Abstracts A Comparison of Data Models Forcomplex Objects
Yuval Scharf 2004 Barequet Gill Abstracts Covering Points with a Polygon
Oren Souroujon 2004 El-Yaniv Ran Abstracts Iterative Double Clustering: An Information-Theoretic Algorithm for Clustering Textual Data
Anna Bekkerman 2004 Gil Joseph Abstracts Conflict Resolution and Operator Priorities in Extended BNF
Alina Skarbovsky 2004 Raz Dan Abstracts Performance Evaluation and Modeling of TCP over Cellular Wireless Links
Zvi Gutterman 2004 Yavneh Irad, Gil Joseph, Abstracts Symbolic Pre-Computation for Numerical Applications
Idan Zach 2004 Attiya Hagit Abstracts Fully Adaptive Shared Memory Algorithms
Alexander Glikson 2004 Makowsky Johann Abstracts Verification of Generally Intractable Graph Properties on Graphs Generated by Graph Grammars
Tzafrir Cohen 2003 Petrank Erez Abstracts Responsive Round Complexity and Concurrent Zero-Knowledge
Uriel Cohen 2003 Gil Joseph Abstracts Object Relations and Syntactic Mechanisms in Design Patterns
Uri Dekel 2003 Gil Joseph Abstracts Revealing JAVA Class Structure with Concept Lattices
Evgeny Panman 2003 Raz Dan Abstracts Efficient Data Collection Algorithm
Amnon Heiman 2003 Geiger Dan, Admon Arie, Abstracts Protein Identification via Mass Spectrometry
Alon Kama 2003 Friedman Roy Abstracts Transparent Fault-Tolerant Java Virtual Machine
Dafna Szarfman 2003 Petrank Erez Abstracts Reducing Cache Conflicts via Garbage Collection
Emil Kohn 2002 Schuster Assaf Abstracts A Transparent DSM System
Irit Katriel 2002 Itai Alon Abstracts Implicit Data Structures based on Local Reorganizations
Roni Ram 2002 Raz Dan Abstracts Efficient Distribution of Email Messages
Alexandr Kaplan 2002 Shimshoni Ilan, Rivlin Ehud, Abstracts Finding Epipolar Geometry from Two Color Images
Sagi Katz 2002 Grumberg Orna Abstracts Techniques for Increasing Coverage of Formal Verification
Keren Bendel 2002 Bar-Yehuda Reuven Abstracts Applications of the Local-Ratio Technique: A Survey
Rafi Tayar 2001 Even Shimon (Deceased) Abstracts Scanning Directed Eulerian Mazes by a Finite-State Robot
Eli Almog 2001 Shachnai Hadas Abstracts Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited
Ilya Ekshtein 2001 Gotsman Chaim Craig Abstracts Texture Mapping Using Constrained Parametrization
Alexander Gaysinsky 2001 Shachnai Hadas Abstracts Caching Integrated with Pipelined Prefetching
Shirley Halevy 2001 Roth Ronny Abstracts Two-Dimensional Coding for Recording Channels
Yuri Tsoglin 2001 Gil Joseph Abstracts JAMOOS – an Object Oriented Language for Grammars
Yael Zbar 2000 Kaminski Michael Abstracts Open Default Theories
Guy Rey 2000 Kaminski Michael Abstracts First-Order Non-Monotonic Logic
Omer Barkol 2000 Abstracts Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model
Guy Lebanon 2000 Bruckstein Alfred Abstracts Moire Pattern Synthesis
Oleg Frenkel 1999 Abstracts Multicast Group Synchronization in Atm
Michael Plavnik 1999 Abstracts Surface Design Using Global Second Order Differential Constraints
Michael Gertelman 1999 Kantorowitz Eliezer Abstracts Automatic User Interface Generation from a Given Domain Model
Alon Ravid 1999 Abstracts A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains
Baruch Katz 1994 Rodeh Michael Abstracts Minimzing the Performance Degradation Due to Conditional
Ronit Nossenson 1999 Abstracts Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components
Vitaly Skachek 1998 Etzion Tuvi, Roth Ronny, Abstracts Coding for Spectral-Null Constraints
Shoham Ben-David 1994 Katz Shmuel Abstracts Using Graphs to Represent Equivalence Classes of Parallel
Amit Reisman 1998 Gotsman Chaim Craig, Schuster Assaf, Abstracts Animation Using Parallel Progressive Ray-Tracing
Anna Gringauze 1998 Rabani Yuval, Ben David Shay, Abstracts The Complexity of Propositional Proofs
Amir Ben-Dor 1994 Chor Ben-Zion Abstracts On the Complexity of Computing the Permanent
Fanny Faina Shpilberg 1997 Berry Daniel Abstracts Wd-Pic, a Wysiwyg Direct-Manipulation Pic
Beery Holstein 1997 Gil Joseph Abstracts T++ : Test Case Generator Using Code Abstraction
Oded Lempel 1994 Litman Ami Abstracts Dual Round Retiming
Nadav Eiron 1996 Ben David Shay Abstracts Variants of Mistake Bound Learning Algorithms
Lev Finkelstein 1993 Markovitch Shaul Abstracts Learning to Play by Acquiring Move-Patterns
Hillel Miller 1996 Katz Shmuel Abstracts Saving Space by Fully Exploiting Invisible Transitions
Ronit Lubitch 1993 Moran Shlomo Abstracts Closed Schedvlers: Motivation Construction and Application
Eli Stein 1996 Cohen Reuven Abstracts An Efficient Approach for Emulating a Token-Ring Lan Over An Atm Network
Maxim Goldin 1996 Schuster Assaf Abstracts Weak Consistency Distributed Shared Memory System Design
Abraham Sharell 1993 Makowsky Johann Abstracts On the Average Gomplexity of Sat for Fiat Distributions
Yigal Bejerano 1995 Segall Adrian Abstracts Setup and Maintenance of a Multi-Point Conversation
Dror Sneh 1992 Goldreich Oded Abstracts The Complexity of Global Computation in the Presence of
Segev Wasserkrug 1995 Baram Yoram Abstracts Neural Network Design for Classification
Yardena Peres 1992 Shmueli Oded Abstracts Implementation of the Grid File System
Ronen Hod 1995 Roth Ronny Abstracts Coding Methods for Imput Constraind Channels
Yael Abarbanel 1994 Naor Joseph Abstracts Algorithms for Dynamic Graphs
Amir Eliaz 1995 Geiger Dan Abstracts Handwriting Recognition Via Short Line Segments
Evgeny Roytman 1994 Gotsman Chaim Craig Abstracts Dynamic Color Quantization of Animation Sequences
Arie Ben Ephraim 1994 Geiger Dan Abstracts Pattern Recognition Using Similarity Networks
Benjamin Gershon 1994 Yoeli Michael (Deceased), Grumberg Orna, Abstracts Synthesis of Concurrent Systems
Allon Adir 1994 Katz Shmuel, Francez Nissim, Abstracts Compiling Programs with Multiparty-Interactions and Teams
Oren Brezner 1994 Ben David Shay, Francez Nissim, Abstracts Expectation Semantucs for Modal Logic
David Carmel 1994 Markovitch Shaul Abstracts Learning Models of Strategy's Strategy in Game Playing
Zvi Berkovich 1994 Abstracts Sematic Debugging of Black Boxes
Ariel Kahan 1993 Goldreich Oded Abstracts Zero Knowledge Proofs with Constant Number of Iterations
Tatiana Orenstein 1993 Kohavi Zvi, Pomeranz Irith, Abstracts Using Partial Scan for Testing of Digital Sequential Circoir
Nechama Navony 1993 Moran Shlomo Abstracts A Verge and Randomized Complexity of Distributed Problems
Shaul Silvian Marcus 1993 Markovitch Shaul Abstracts Estimation of Lexical Relations Using Word Similarities
Shai Halevi 1993 Schuster Assaf Abstracts Greedy Hot-Potato Routing
Mircea Namolaru 1993 Abstracts Compilation Techniques for Distributed Constraint Languages
Netta Aizenbud 1993 Katz Shmuel, Attiya Hagit, Abstracts Self-Stabilization of Fault-Tolerant Distributed Algorithms
Arnon Amir 1993 Bruckstein Alfred Abstracts Depth from Structured Lisht and Axial Motion
Michal Dvir 1992 Ben David Shay Abstracts Incompleteness and the Theory of Computer Science
Irit Yadin 1992 Moran Shlomo Abstracts The Distributet Counter Problem
Isaac Nativ 1992 Kantorowitz Eliezer Abstracts Consistent Database with Non-Serialized Queries
Ophir Rachman 1992 Chor Ben-Zion Abstracts Wait Free Randomized Consensus
Erez Petrank 1992 Goldreich Oded Abstracts The Knowledge Complexity of Interactive Proofs
Amos Beimel 1992 Chor Ben-Zion Abstracts Ideal Secret Sharing Schemes
Yaniv Barguri 1992 Makowsky Johann Abstracts The Hierarchy of Transitive Closure
Merav Michaeli-Aaroni 1992 Chor Ben-Zion Abstracts A Generalization of Group Testing
Eran Aharonson 1992 Attiya Hagit Abstracts The Structure of Counting Networks
Ran Canetti 1992 Goldreich Oded Abstracts A Tradeoff Between Randomness and Commonication Complexity
Ze'ev Collin 1992 Katz Shmuel, Abstracts A Self Stabilizing Distributed Solution
Yoram Singer 1992 Dan Chazan Abstracts Non Parametric Methods for Speech Consonants Recognition
Elana Zamir 1992 Uzi Ornan Abstracts Semantic Parser for Context Free Sentences in Hebrew
Avigdor Pollak 1992 Bar-on Ehud Abstracts From Neural Networks to Production Rvles and Back
Nir Dvir 1992 Katz Shmuel Abstracts Freezing – Interaction Between Concurrent Distributed Algs.
Nir Solel 1991 Abstracts Efficient Algorithms for Disjoint Paths Steiner Tree
Raanan Grinwald 1991 Bar-Yehuda Reuven Abstracts Merging Polygons with Holes
Ron Resnik 1991 Israeli Moshe (Deceased), Ungarish Marius, Abstracts Nuerical Analysis of Two-Phase Rotating Flow
Miriam Sharon 1991 Itai Alon Abstracts Learning Automata
Guy Even 1991 Goldreich Oded Abstracts Construction of Small Probability Spaces
Johny Srouji 1991 Berry Daniel Abstracts Adaptaticn of the Unix Ditroff for Formatting Arabic Text
Rami Marelly 1991 Grumberg Orna Abstracts Automatic Verifier of Distributed Algorithms
Hana De-Lion 1991 Grumberg Orna Abstracts Real Time Temporal Logics
Michel Adar 1991 Bar-on Ehud Abstracts An Interactive Graphical Development System for Orject
Shalom Wintner 1991 Uzi Ornan Abstracts Syntactic Analysis of Hebrew Sentences
Gil Shurek 1991 Grumberg Orna Abstracts Modular Computer Aided Verification of Concurrent Systems
Eli Dichterman 1991 Ben David Shay Abstracts Derandomizing Online Algorithms
Meir Pinhasov 1991 Israel Amos Abstracts A Linear-Time Bounded Concurrent Time-Stamp Scheme
Yair Amir 1991 Abstracts Customer Scheguling Under Qveueing and Delay Constraints
Yael Rinoenau 1991 Moran Shlomo, Israel Amos, Abstracts An Efficient Algorithm for Maximum Dyramis Flow Problem
Anat Helman 1991 Israeli Moshe (Deceased), Ungarish Marius, Abstracts Parallel Solution of An Elliptic Eguation in Twd Dimentidns
Ariel Calo 1990 Makowsky Johann Abstracts The Expressive Power of the Transitive Closure
Lyor Goldstein 1990 Uzi Ornan Abstracts Generation and Analysis of the Possession Inflexion of
Lior Moscovici 1990 Chor Ben-Zion Abstracts Implementing Distributed Tasks in Presence of Failures
Michal Shany-Klein 1990 Uzi Ornan Abstracts Generating & Analyzing Segolatenoun Inflection in Hebrew
Rivka Licht 1990 Etzion Tuvi Abstracts Realization of Permutations in a Shuffle-Exchange Network
Mordkhai Lempel 1990 Paz Azaria Abstracts Modular Lattices – An Algorithmic Approach
Marc Elie Jalfon 1990 Israel Amos Abstracts Self Stabilizing Random Algorithms on Distributed Uniform Sy
Shimon Yanai 1990 Berry Daniel Abstracts Environment for Translating "Metafont"to"Postscrcpt"
Osnat Meir 1990 Abstracts Analysis of the Performance of the Exponential Pxramid
Moshe Molcho 1990 Zaks Shmuel Abstracts Distributed Algorithms with a Fault Detection Ring
Sara Bittan 1990 Zaks Shmuel Abstracts Linear Broadcast Routing
Iris Bezalel 1990 Yoeli Michael (Deceased) Abstracts Structured Design of Delay-Insensitive Controllers
Ruthi Erez 1990 Berry Daniel Abstracts An Interactive Iaterpretes Withgraphic Display of Program
Shmuel Ur 1990 Paz Azaria Abstracts Graphoids: Graph Representation and Membership Problems
Doron Cohen 1990 Etzion Tuvi Abstracts Combinatorical Designs Derived from Constant Weight Godes
Dan Kimmel 1990 Even Shimon (Deceased) Abstracts Simulation Project on Ibm/pc for Electronic Wallet
Ady Tal 1990 Abstracts Vertex Disjoint Paths in Series Paraller Graphs
Oran Sharon 1990 Segall Adrian Abstracts Session Management and Organization in Broadcast Networks
Gidon Yona 1990 Israel Amos, Ben David Shay, Abstracts Verification of Protocols Fur Sharfd Registers Systems by G
Erela Amit 1990 Bar-on Ehud Abstracts Machine Learning Algorithm for Diagnosing Misconceptions
Elan Neeman 1990 Segall Adrian Abstracts Route Setmp and Takedown in a Funnel Network
Yuval Neeman 1990 Francez Nissim Abstracts Domain Archetype – a Eeasiblit Y Study
Sergio Fogel 1990 Bar-Yehuda Reuven Abstracts Ray Shooting: Searching and Counting Queries
Netta Shani 1990 Chor Ben-Zion Abstracts On the Privocy Gdp in Dense Symmetric Functions
Shlomo Dolev 1990 Israel Amos, Moran Shlomo, Abstracts Self Stabilization of Dynamic Systems Assuming Only Read/
Zeiev Shtapler 1990 Grumberg Orna Abstracts Automatic Verification of Distributed Algorithms
Eyal Ben-Chanoch 1990 Bar-Yehuda Reuven Abstracts Covering Polygons with Squares
Robert Geva 1990 Paz Azaria Abstracts Representation of Irrelevance Relations by Graphs
Moises Sananes 1989 Kantorowitz Eliezer Abstracts Dros a Distributed Replicated Data Systam
Amir Rahat 1989 Shmueli Oded Abstracts Logic Programming in a Distributed Euvironment
Simona Cohen-Rabinovici 1989 Abstracts Parallelization Strategies in Knowledge Bases
Laurent Fournier 1989 Abstracts Performance Evalualion of Priorilized Token Sing Local
Zvi Ostfeld 1989 Abstracts Des Trees Construction:characterizations and Sequential and
Ofrit Lesser 1989 Rom Raphael Abstracts Routing by Controlled Flooding
Yael Gafni 1989 Ben David Shay Abstracts Semantics for a "Knowing at Most" Operator
David Goldfeld 1989 Etzion Tuvi Abstracts Eguivalence of Interconnection Netnorus
Esther Leyzerovitch 1989 Grumberg Orna Abstracts Impiementing Superimpositions for Occam
Abraham Nathan 1989 Ginosar Ran Abstracts Compilation of Fcp to Carmel and Its Performance Analysis
Itay Kariv 1989 Abstracts Hierarchical Symbolic Indices in General Purpose
Oren Hurvitz 1989 Itai Alon Abstracts Janus Automata as a Model for the Intelligent Scan Problem
Tziporet Koren 1989 Goldreich Oded Abstracts On the Construction of Pseudo Random Block Ciphers
Ehud Hausman 1989 Kantorowitz Eliezer, Itai Alon, Abstracts Erd Raseb Natural Qvery Langvage
Eyal Kushilevitz 1989 Goldreich Oded Abstracts Perfect Zero-Knowledge Proofs
Gil Sideman 1989 Abstracts Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
Tony Wolfman 1989 Berry Daniel Abstracts ""Flo" a Language for Typesetting Flowcharts
Raz Rafaeli 1989 Ben David Shay Abstracts Global Time in Distributed Systems
Yael Shemesh 1989 Francez Nissim Abstracts Relation Recognizing Automatta
Gabriel Matsliach 1989 Shmueli Oded Abstracts Fitting Traditional Search Structures to New Architectures.
Alon Lavie 1989 Uzi Ornan, Itai Alon, Abstracts Two Level Morphology for Hebrew
Uri Habusha 1989 Berry Daniel Abstracts Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
Gil Allon 1989 Berry Daniel Abstracts Towauosabi Divectional Operating System
Ameen Abu-Hanna 1988 Abstracts An Integrated Deep-Shallow Expert System for Multi-Leuel
Iris Reicher 1988 Yoeli Michael (Deceased) Abstracts Verification and Synthesis of Asynchronous Circuits
Zeev Becker 1988 Berry Daniel Abstracts An Adaptation of the Unix Ditroff for Rormatting Tri-Directi
Daniel Fischer 1988 Pinter Shlomit Abstracts Maintenance of Unreliable Distributed Systems