MSc Theses – Computer Science

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