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