MSc Theses – Computer Science

Department Computer Science
Department Web Site www.cs.technion.ac.il
Student Name Graduation Year Advisors Abstarcts Research Name
Barel Emil 2024 Roy Schwartz Abstracts Correlation Clustering and Ratio Steiner Cuts in Hypergraphs
Adir Yarden 2024 Roy Schwartz Abstracts Approximating Hierarchical Clustering
Azran Guy 2023 Sarah )Eisen Keren Abstracts Contextual Pre-Planning on Reward Machine Abstractions for Enhanced Transfer in Deep Reinforcement Learning
Vainshtein David 2023 Oren Salzman Abstracts Terraforming – Environment Manipulation during Disruptions for Multi-Agent Pickup and Delivery
Huberman Saar 2023 Ron Kimmel Abstracts Accurate Deep Solver for Computing Geodesic Distances on Surfaces
Sheory Ella 2023 Dan Tsafrir Abstracts Exploring Advanced Cache Algorithms for the TLB
Mor Alon 2023 Benny Kimelfeld, Yonatan Belinkov, Abstracts Accelerating the Global Aggregation of Local Explanations in Natural Language Processing
Schiller Noa 2023 Hagit Attiya Abstracts Efficient and Resilient Algorithms for Asynchronous Mixed Models and Decentralized Optimization
Nassar Shafik 2023 Ron Rothblum Abstracts Succinct Interactive Oracle Proofs
Marcovich Ron 2023 Orna Grumberg, Gabi Nakibly, Abstracts Protocol Inference from Program Executable using Symbolic Execution and Automata Learning
Chase Gilad 2023 Yuval Filmus Abstracts Generalized Polymorphisms
Yechieli Matan 2023 Ittay Eyal Abstracts Low-Latency Blockchains with DAG Holography
Igbaria Reda 2023 Yonatan Belinkov Abstracts Similarity-based Regularization for Mitigating Dataset Artifacts
Benjamin Roy 2023 Kira Radinsky Abstracts Graph Neural Networks Pretraining through Inherent Supervision for Molecular Property Prediction
Gilo Daniel 2023 Shaul Markovitch Abstracts A General Search-based Framework for Generating Textual Counterfactual Explanations
Hay Yaron Barak 2023 Roy Friedman Abstracts Deterministic Concurrent Scheduling- Execution of Transactions and Smart Contracts in Blockchain Systems using Coloring
Zur Almog 2023 Erez Petrank Abstracts RELAX: Recovering Lazily From Failed Execution With Persistent Memory
Voronov Tomer 2023 Ori Rottenstreich, Dan Raz, Abstracts Scalable Blockchain Anomaly Detection with Sketches
Kimel Liam Bernard 2023 Tom Shemesh Abstracts Computational Models for Homeostasis and Development of the Epidermis and Spherical Organoids
Shamshoum Yara 2023 Assaf Schuster Abstracts Solving Graph Problems using Differentiable Neural Computers
Simhi Adi 2023 Shaul Markovitch Abstracts Interpreting Embedding Spaces by Conceptualization
Khoury Majd 2023 Keren Censor-Hillel Abstracts Distributed Distance Approximation of Graph Properties
Zats Roded 2023 Roy Schwartz Abstracts Fair Correlation Clustering in General Graphs
Horowitz Guy 2023 Nir Rosenfeld Abstracts Causal Strategic Classification
Farhi Liran 2023 Sagi Dalyot, Shaul Markovitch, Abstracts Movement as a Language: Unleashing the Power of Indoor Movement Analysis for Semantic Place Prediction
Fadila Haitham 2023 Gershon Elber Abstracts Kernel-based Construction Operators for Boolean Sum and Ruled Geometry
Eilat Itay 2023 Nir Rosenfeld Abstracts Strategic Classification with Inter-Dependent Strategic Responses
Ackerman Schraier Lynore 2023 Michael Zibulevsky, Alexander Bronstein, Abstracts A Machine Learning Exploration of Relations between Protein Structures and their Genetic Coding
Kaminsky Natan 2023 Kira Radinsky Abstracts Lead Optimization For Drug Discovery with Limited Data
Eldar Idan 2023 Benny Kimelfeld Abstracts Direct Access to Answers of Conjunctive Queries with Aggregation
Cohen Rimon Avigail 2023 Ronen Talmon, Jackie Schiller, Abstracts Geometry-Based Dynamic Connectivity Analysis of Biological Neural Networks
Guendelman Shai 2023 Shaull Almagor Abstracts Concurrent Games with Multiple Topologies
Hirshberg Tom 2023 Alexander Bronstein Abstracts Sound Source Modeling of Multi-Rotor in Free Space and Indoors Towards Acoustics-Based Indoor Localization
Larey Ariel 2023 Yonatan Savir, Keren Yizhak, Abstracts Develop Novel Computer Vision and Deep Learning Techniques in the Digital Pathology Field
Gavril Eli 2023 Eli Biham, Sara Bitan, Abstracts TCAN: Authentication without Cryptography on a CAN Bus based on Nodes Location on the Bus
Avrech Tom 2023 Ehud Rivlin Abstracts GoToNet: Fast Monocular Scene Exposure and Exploration
Vinciguerra Antoine 2023 Gill Barequet Abstracts On the Structure of Heilbronn’s Configurations
Shats Daniel 2023 Moti Freiman Abstracts Improved Whole Slide Image Classification by Leveraging Deep Embeddings for High Resolution Slide Patches
Choshen Era 2023 Aviv Tamar Abstracts Contrastive Bayes-Adaptive Deep Reinforcement Learning
Mor Roee 2023 Vadim Indelman Abstracts Probabilistic Qualitative Localization and Mapping
Gad Raphael 2023 Assaf Schuster, Ilya Kolchinsky, Abstracts Only Real Friends Matter – A clusters Based Deep Learning Paradigm for High Dimension Multivariate Forecasting
Zadok Dean 2022 Alon Wolf, Alexander Bronstein, Abstracts Towards Predicting Fine Finger Motions from Ultrasound Images via Kinematic Representation
Cohen Haviv 2022 Roy Friedman, Nethanel Gelernter, Abstracts Advanced UXSS Analysis
Shapira Guy 2022 Assaf Schuster Abstracts Unsupervised Frequent Pattern Mining for CEP
Kosman Eitan 2022 Assaf Schuster, Ilya Kolchinsky, Abstracts Complex Pattern Mining
Levanon Sagi 2022 Nir Rosenfeld Abstracts Generalized Strategic Classification and the Case of Aligned Incentives
Sidi Gal 2022 Assaf Schuster, Ilya Kolchinsky, Abstracts DELETE: Using Deep Learning to Minimize Latency in CEP Systems
Khalil Majd 2022 Benny Kimelfeld Abstracts The Complexity of the Shapley Value for Path Queries over Graphs
Botach Adam 2022 Alexander Bronstein Abstracts End-to-End Referring Video Object Segmentation with Multimodal Transformers
Shhadi Amani 2022 Gill Barequet Abstracts Topology-Controlled Reconstruction from Partial Planar Cross-Sections
Rafael Ido 2022 Yuval Emek, Shay Kutten, Abstracts Efficient Distributed Construction of Small k-Dominating Sets
Bachrach Nir 2022 Talgam-Cohen Inbal Abstracts Distributional Robustness: From Pricing to Auctions
Kolikant Ariel 2022 Gala Yadgar Abstracts ILP Based Load Balancing in Deduplicated Storage Systems
Diamant Nir 2022 Ehud Rivlin, Alexander Bronstein, Abstracts Improving Real-World Data Generation using Adversarial Sim2Real Models
Imanuel Ido 2022 Ron Kimmel Abstracts Neural Algorithms for Precise Shape Completion
Barsky Maxim 2022 Dan Tsafrir Abstracts PartTLB: Dynamic TLB Partitioning for SMT Processors
Brand Tom 2022 Yuval Ishai, Eliyahu Ben Sasson, Abstracts Bribery Attack on Nakamoto Consensus Proof of Stake Protocols
Nachmias Elad 2022 Eran Yahav Abstracts Hierarchical Code Representations
Feldman Or 2022 Avi Mendelson Abstracts Improving Graph Neural Network Expressivity via Spectral and Combinatorial Pre-Colorings
Dahary Omer 2022 Alexander Bronstein Abstracts Digital Gimbal: End-to-End Deep Image Stabilization with Learnable Exposure Times
Mizrachi Eyal 2022 Roy Schwartz Abstracts Submodular Maximization with Mixed Packing and Covering Constraints
Schmidt Maria 2022 Alexander Bronstein Abstracts From Image Completion with Untrained Learning Towards Matrix Completion with Geometric Learning
Raz Idan 2022 Dan Tsafrir Abstracts Model-Based Simulation for SMT Cores
Ben-Dov Boaz 2022 Roi Reichart Abstracts Predicting the Success of Domain Adaptation, a Casual Model Interpretation Approach
Dankner Alon 2022 Eli Biham, Sara Bitan, Abstracts Attacking and Securing ICS Protocols
Kuznichov Dmitry 2022 Irad Yavneh, Ron Kimmel, Abstracts Learning Relaxation for Multigrid
Dabbah Mohammed 2022 Ran El-Yaniv Abstracts Using Fictitious Class Representations to Boost Discriminative Zero-Shot Learners
Leibovitch Omer 2022 Nir Ailon Abstracts Sparse Neural Networks: Theory and Practice
Mesika Adi 2022 Ayellet Tal Abstracts CloudWalker: 3D Point Cloud Learning by Random Walks for Shape Analysis
Dafni Neta 2022 Yuval Filmus Abstracts Complexity Measures on the Symmetric Group and Beyond
Yankovitch Maor 2022 Assaf Schuster Abstracts Hypersonic: A Hybrid Parallelization Approach for Scalable Complex Event Processing
Chapnik Koral 2022 Assaf Schuster, Ilya Kolchinsky, Abstracts DALRING: Data-Aware Load Shedding in Complex Event Processing Systems
Ben Yamin Lior 2022 Hadas Shachnai Abstracts Maximizing Throughput in Flow Shop Real-Time Scheduling
Sharoni Yotam 2022 Roy Schwartz Abstracts Approximation Algorithm for Requirement Cut
Shalom Gal 2022 Irad Yavneh, Eran Treister, Abstracts pISTA: Preconditioned Iterative Soft Thresholding Algorithm for Graphical LASSO
Endrawis Shadi 2022 Aviv Tamar Abstracts Efficient Self-Supervised Data Collection for Offline Robot Learning
Amir Adar 2022 Assaf Schuster, Ilya Kolchinsky, Abstracts DLACEP: A Deep-Learning Based Framework for Approximate Complex Event Processing
Zheltonozhskii Evgenii 2022 Avi Mendelson, Alexander Bronstein, Abstracts Reducing Supervision in Visual Recognition Tasks
Amer Ameer 2022 Talgam-Cohen Inbal Abstracts Auctions with Interdependence and SOS: Improved Approximation
Finkelshtein Ben 2022 Alexander Bronstein Abstracts Robustness and Rotation Equivariance in Geometric Deep Learning
Abu Nassar Antonio 2022 Shaull Almagor Abstracts Semantic Symmetry in Transducers
Shapira Roman 2022 Tal Mor Abstracts Quantum Candies and Quantum Cryptography
Cohen Refael 2022 Assaf Schuster Abstracts SMEGA2: Distributed Deep Learning using a Single Momentum Buffer
Eliad Saar 2022 Assaf Schuster Abstracts Scalable Distributed Deep Learning with Model Parallelism
Kisous Roei 2022 Gala Yadgar Abstracts Clustering based Data Migration in Deduplicated Storage
Avnat Or 2022 Irad Yavneh Abstracts On the Recursive Structure of Multigrid Cycles
Mauda Assaf 2022 Michael Elad Abstracts Poisson Denoising of Images using Deep Neural Networks Inspired by Classical Dictionary based Algorithms
Antverg Omer 2022 Yonatan Belinkov Abstracts Investigating the Importance of Individual Neurons in Language Models
Yassin Asharf 2022 Eli Biham, Amichai Shulman, Abstracts Beware of Geeks Bearing Gifts: Attacking Smart Homes
Eyn Avi Matan 2022 Gill Barequet Abstracts An New Lower Bound on the Growth Constant Polycubes in Three Dimensions
Livne Amir 2022 Ron Kimmel, Alexander Bronstein, Abstracts How to Avoid Depth Reconstruction in 3D Vision Tasks: Do We Need Depth in State-Of-The-Art Face Authentication
Cohen Lior 2021 Nahum Shimkin, Shie Mannor, Abstracts Reinforcement Learning Based Flow Control for Real-Time Video over Cellular Channels
Bagrov Natan 2021 Ran El-Yaniv Abstracts Ranking and Trading Execution of Mean-Reverting Portfolios
Magal Bar 2021 Gill Barequet Abstracts Enumerating Reduced Polyominoes with Fixed Perimeter Defect
Reshef Alon 2021 Benny Kimelfeld Abstracts Computing the Shapley Value of Tuples in Conjunctive Queries with Negation
Kaslasi Inbar 2021 Ron Rothblum Abstracts Batch Verification for Statistical Zero-Knowledge Proofs
Haviv Hakimi Shunit 2021 Ran El-Yaniv Abstracts Deep Neural Models for Jazz Improvisations
Elbaz Dolev Michael 2021 Assaf Schuster, Ilya Kolchinsky, Abstracts Complex Pattern Forecasting on Multivaruate Time-Series
Yeshurun Asaf 2021 Benny Kimelfeld Abstracts Extracting Bible Quotes from Historical Commentary
Kravi Ayelet 2021 Roy Schwartz, Joseph Naor, Abstracts Correlation Clustering With Overlaps
Barshatz Schneor Yamit 2021 Roy Friedman Abstracts Accelerating Big-Data Sorting through Programmable Switches
Ben Assayag Shai 2021 Ran El-Yaniv Abstracts Train on Small ,Play the Large: Scaling Up Board Games with AlphaZero and GNN
Turner Elia 2021 Omri Barak Abstracts Charting and Navigating the Space of Solutions for Recurrent Neural Networks
Yefet Noam 2021 Eran Yahav Abstracts Adversarial Examples for Models of Code and Defending Against Them
Peretz Gal 2021 Kira Radinsky Abstracts What If: Generating Code to Answer Simulation Questions
Sztyglic Ori 2021 Vadim Indelman Abstracts Online Partially Observable Markov Decision Process Planning via Simplification
Leybovich Michael 2021 Oded Shmueli Abstracts ML Based Lineage in Databases
Goaz Or 2021 Roy Friedman, Ori Rottenstreich, Abstracts Clustering in the Network Data Plane
Bronfman Liron 2021 Ron Rothblum Abstracts PCPs and Cryptography: New Limitations and Opportunities
Ezra Michael 2021 Ron Rothblum Abstracts Small Circuits Imply Efficient Arthur- Merlin Protocols
Masalha Ramy 2021 Gershon Elber Abstracts Heterogeneous Parametric Trivariate Fillets
Goudsmid Ohad 2021 Orna Grumberg, Sarai Sheinvald, Abstracts Compositional Model-Checking of Multi-Properties
Elias Nadav 2021 Gala Yadgar Abstracts Keywords Search in Deduplicated Storage Systems
Sebag Moshe 2021 Benny Kimelfeld Abstracts The Shapley Value of Tuples in Query Answering
Tur Nitzan 2021 Roy Schwartz Abstracts The Metric Relaxation for 0-Extension Admits an Omega(log (2/3)k) Gap
Nassar Mohammad 2021 Eitan Yaakobi Abstracts Array Constructions for Functional PIR and Batch Codes
Kalifa Dan 2021 Kira Radinsky Abstracts Leveraging World Events to Predict E-Commerce Consumer Demand under Anomaly
Khatib Rajaei 2021 Michael Elad Abstracts Learned Greedy Method (LGM): A Novel Neural Architecture for Sparse Coding and Beyond
Barta Ohad 2021 Yuval Ishai Abstracts On Succinct Arguments and Witness Encryption from Groups
Bar-Zur Roi 2021 Ittay Eyal, Aviv Tamar, Abstracts Finding Optimal Strategies in Blockchain Protocols with Reinforcement Learning
Isaacs Or 2021 Michael Lindenbaum Abstracts Boundaries and Region Representation Fusion
Hovav Dor 2021 Roy Friedman Abstracts Limited Associativity Caching in the Data Plane
Kushilevitz Guy 2021 Shaul Markovitch, Yoav Goldberg, Abstracts Pattern and Distributional Based Hybrid Methods for Semantic Extraction Tasks
Samuel Lior 2021 Joseph Gil Abstracts Domsago- a Spoken Programming Language as a Step Towards Personal Assistant Programming
Sayah Qasem 2021 Reuven Cohen Abstracts Hardware Schemes for Routing HTTP Connections and Protecting Against SYN Attacks
Benmocha Gal 2021 Eli Biham Abstracts New Techniques for Symmetric Cryptanalysis
Mendelson Michael 2021 Yonatan Belinkov Abstracts How Debiasing Affects Internal Representations in Natural Language Understanding Models
Ben-David Aviv 2021 Dan Tsafrir Abstracts Investigating the Difference between Emulated and Paravirtual Network I/O: The Strange, Untold Story
Asael Dimion 2021 Yonatan Belinkov Abstracts A Generative Approach for Mitigating Structural Biases in Natural Language Inference
Sokolik Yaakov 2021 Ori Rottenstreich Abstracts Age-Aware Fairness in Blockchain Transaction Ordering
Gordon Ofir 2021 Oren Salzman Abstracts Toward Understanding the Hardness of Multi-Agent Path Finding
Romem Peled Shahar 2021 Keren Censor-Hillel Abstracts Batched Vertex Cover Reconfiguration
Maien Dor-David 2021 Joseph Gil Abstracts Better Prediction of Mutation Score
Nabwani Najeeb 2021 Assaf Schuster Abstracts Learning by Sampling: A Deep Learning Approach to the Plannted Clique Problem with Unlimited Sampling
Polosukhin Volodymyr 2021 Keren Censor-Hillel Abstracts Distributed Computations with Global Edges of Limited Bandwidth
Lekhtman Entony 2021 Roi Reichart Abstracts Domain Adaptation on Structured Output Tasks
Margulis Igor 2021 Ran El-Yaniv, Yuval Filmus, Abstracts On Anomaly Detection in Tabular Data
Marelly Noa 2021 Keren Censor-Hillel, Roy Schwartz, Abstracts Fault Tolerant Max-Cut
Sade Gal 2021 Orna Grumberg Abstracts On-the-Fly Model Checking with Guided Abstraction
Shinkar Tal 2021 Eitan Yaakobi Abstracts Clustering-Correcting Codes for DNA-based Storage Systems
Barshatski Guy 2021 Kira Radinsky Abstracts Deep Generative Models for Molecular Optimization
Elul Yonatan 2020 Alexander Bronstein, Yael Yaniv, Assaf Schuster, Abstracts Applied Artificial Intelligence for Medicine – A Deep Learning Framework for Diagnosis of Cardiac Arrhythmia
Rubin Yehonatan 2020 Dan Raz Abstracts Quantifying the Impact of Latency on High Frequwncy Trading
Tibi Muhammad 2020 Benny Kimelfeld Abstracts Query Evaluation in Election Databases
Gabay Roi 2020 Shachar Itzhaky Abstracts Synthesis with Granular Interactive Model
Novich Gal 2020 Roy Kishony, Zohar Yakhini, Abstracts Tree-Test: an association test for observation on a directed tree
Raz Saar 2020 Mirela Ben-Chen Abstracts Real-Time Simulation of Viscous Thin-Films
Sela Gal 2020 Erez Petrank Abstracts BQ: A Lock-Free Queue with Batching
Hayek Rojeh 2020 Oded Shmueli Abstracts Machine Learning of SQL Queries Containment Rate and Result Cardinality
Horesh Yinon 2020 Yuval Ishai, Eliyahu Ben Sasson, Abstracts Arithmetization for Probabilistically Checkable and Interactive Oracle Proofs
Feldman Yair 2020 Ran El-Yaniv Abstracts Multi-Hop Paragraph Retrieval for Open-Domain Question Answering
Smadja Uzi 2020 Shaul Markovitch, Abstracts Text Readability and its Relationship with Backtracking Actions
Zuriel Yoav 2020 Erez Petrank, Nachson Cohen, Abstracts Efficient Lock-Free Durable Sets
Dages Thomas 2020 Alfred Bruckstein, Michael Lindenbaum, Abstracts Seeing Things in Random Dot Videos
Vedula Sai Sanketh 2020 Alexander Bronstein, Michael Zibulevsky, Abstracts Learning-Based Design of Ultrasound Imaging Systems
Bhonker Nadav 2020 Ran El-Yaniv Abstracts Neural Models for Personalized Jazz Improvisations
Vedula Sai Sanketh 2020 Abstracts Learning-Based Design of Ultrasound Imaging Systems
Sabary Omer 2020 Eitan Yaakobi Abstracts Reconstruction Algorithms for DNA-Based Storage Systems
Dages Thomas 2020 Abstracts Seeing Things in Random Dot Videos
Abutbul Amram 2020 Ran El-Yaniv Abstracts Deep Neural Network Architecture for Tabular Data
Nemcovsky Yaniv 2020 Tamir Hazan Abstracts On the Generalization of Gaussian Dropout using PAC-Bayesian Bounds and Log-Sobolev Inequalities
Agmon Shunit 2020 Assaf Schuster Abstracts Preventing Collusion in Cloud Computing Auctions
Peled Matan 2020 Joseph Gil, David Lorenz, Abstracts Thapl – A Theatrical Programming Language
Elad Guy 2020 Benny Kimelfeld, Kira Radinsky, Abstracts Generating Personalized Product Descriptions from User Reviews
Berman Rachel Nirit 2020 Ronny Roth Abstracts On the Number of Factorizations of Polynomials with Application to Rank-Metric Codes
Mataev Gary 2020 Michael Elad Abstracts Deep Image Prior Powered by RED
Reani Yair 2020 Mirela Ben-Chen Abstracts Functional Tracing of Discrete Vector Fields
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
Shomroni Uri 2020 Avi Mendelson Abstracts Performance Prediction of Programs on Heterogeneous and Massively-Parallel Architectures
Ghelber Tomer 2020 Shachar Itzhaky Abstracts Worst Case Resource Analysis in Program Synthesis
Hadar Sean 2020 Shachar Itzhaky Abstracts Incremental Computation of Spreadsheet Formulas
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
Ringel Dor 2020 Shaul Markovitch, Kira Radinsky, Abstracts Cross-Cultural Transfer Learning for Text Classification
Zeevi Shai 2020 Benny Kimelfeld Abstracts Answering (Unions of) Join Queries using Random Access and Random-Order Enumeration
Bridger Dov 2020 Ayellet Tal Abstracts Solving Jigsaw Puzzles with Eroded Boundaries using GAN Inpainting
Efron Yuval 2020 Keren Censor-Hillel Abstracts New Advances in Distributed Optimization and Distance Computation
Lichtenstein Moshe 2019 Ron Kimmel Abstracts Deep Eikonal Solvers
Elizarov Avner 2019 Erez Petrank Abstracts LOFT: Lock-Free Transactional Data Structures
Agbarya Mohammad 2019 Gala Yadgar Abstracts Estimating Application Runtimes Using TLB Performance Metrics
Evron Itay 2019 Daniel Soudry, Yacov Crammer, Abstracts Efficient Loss-Based Decoding on Graphs for Extreme Classification
Golan Izhak 2019 Ran El-Yaniv Abstracts Deep Anomaly Detection using Geometric Transformations
Cohen David 2019 Mirela Ben-Chen Abstracts Generalized Volumetric Foliation from Inverted Viscous Flow
Devir Nurit 2019 Orna Grumberg, Shaul Markovitch, Abstracts Applying Machine Learning for Identifying Attacks at Run-Time
Fidelman Zuphit 2019 Roy Friedman Abstracts A Generic Sharding Scheme for Blockchain Protocols
Zarecki Jonathan 2019 Shaul Markovitch Abstracts Textual Membership Queries
Magen Aviram 2019 Kira Radinsky Abstracts Find A Cure: Learning to Rank Articles for Molecular Queries
Zohar Dor 2019 Roi Reichart Abstracts Label Expansio – Integrating Prior Knowledge to Large Label Set Tasks
Buchnik Yehonatan 2019 Roy Friedman Abstracts TOY: a Total Ordering Optimistic System for Permissioned Blockchains
Hasson Idan 2019 Alexander Bronstein Abstracts Acquisition and Prediction of Gestures’ Surface EMG Data Using Sequential Deep Learning Methods
Kreimer Alexander 2019 Ehud Rivlin, Abstracts Algorithms for Visual Odometry
Eshel Yotam 2019 Shaul Markovitch Abstracts An Attention-RNN Based Approach for Named Entity Disambiguation with Noisy Texts
Cohen Amir 2019 Ran El-Yaniv, Eytan Z Blumenthal, Abstracts Bayesian Algorithms for Vision Acuity Exams
Givoli Ofer 2019 Roi Reichart Abstracts Zero-Shot Semantic Parsing for Instructions
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
Badian Michal 2019 Shaul Markovitch Abstracts Knowledge-Based Learning through Feature Generation
Zamir Nitzan 2019 Yoram Moses Abstracts Belief Requirements in Probabilistic Systems
Derech Niv 2019 Ayellet Tal, Abstracts Solving Archaeological Puzzles
Zur Yochai 2019 Alexander Bronstein Abstracts Differentiable Neural Architecture Search with an Arithmetic Complexity Constraint
Nezri Yuval 2019 Reuven Cohen Abstracts Cardinality Estimation In a Virtualized Network Device Using Online Machine Learning
Brokhman Tanya 2019 Mark Silberstein Abstracts An OS Page Cache for Heterogeneous Systems
Bonne Matthias 2019 Keren Censor-Hillel Abstracts Distributed Detection of Cliques in Dynamics Networks
Shoshan Eylon 2019 Kira Radinsky Abstracts Latent Entities Extraction: How to Extract Entities that Do Not Appear in the Text?
Dukhan Dvir 2019 Benny Kimelfeld Abstracts Effective Enumeration of Tree Decompositions for Solver Optimization
Shtaierman Alon 2019 Yuval Ishai, Eliyahu Ben Sasson, Abstracts Decentralized Monetary Policy for Cryptocurrencies
Rosenbaum Assaf 2019 Eli Biham, Sara Bitan, Abstracts Trusted Execution Environments
Minkin Marina 2019 Mark Silberstein Abstracts Improving Performance and Security of Intel SGX
Farchi Nahum 2018 Mirela Ben-Chen Abstracts Integer-Only Cross Field Computation
Moscovici Nurit 2018 Erez Petrank Abstracts A GPU-Friendly Skiplist Algorithm
Alperovich Dalia 2018 Zohar Yakhini, Yael Mandel-Gutfreun, Abstracts Efficient Search for Optimally Enriched Combination of Ranked Lists
Asi Hilal 2018 Eitan Yaakobi Abstracts Constructions of PIR and Batch Codes for Distributed Storage
Mour Tamer 2018 Eyal Kushilevitz Abstracts New Efficient Constructions for Distributed Oblivious RAM
Shor Tal 2018 Dan Geiger Abstracts SciLMM: Computing Heritability with Millions of Individuals
Omari Majd 2018 Yuval Ishai Abstracts The Complexity of Identifying Cheaters
Saig Eden 2018 Eliyahu Ben Sasson Abstracts Modeling Collaborative Discovery
Carmeli Tamir 2018 Reuven Cohen Abstracts Detection of BGP Hijacking Using TTL Analysis
Shor Roman 2018 Eitan Yaakobi, Gala Yadgar, Assaf Schuster, Abstracts Efficiently Combining Confidentiality and Availability in Distributed Storage Systems
Levy Maya 2018 Eitan Yaakobi Abstracts Mutually Uncorrelated Codes for DNA Storage
Rasin Dan 2018 Orna Grumberg, Sharon Shoham-Buchbind, Abstracts Modular Verification of Concurrent Programs via Sequential Model Checking
Cohen Snir 2018 Shie Mannor Abstracts Restricted Optimism
Malca Rivka 2018 Roi Reichart Abstracts Neural Transition Based Parsing of Web Queries: An Entity Based Approach
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
Kupfer Gil 2018 Dan Tsafrir, Nadav Amit, Abstracts IOMMU-Resistant DMA Attacks
Fuchs Amit 2018 Avi Mendelson Abstracts Fault-Tolerant Operanting System for Many-Core Processors
Yavneh Gili 2018 Hagit Attiya Abstracts Remote Memory References at Block Granularity
Zheng Yufei 2018 Gill Barequet Abstracts Two Researches on Lattice Animals
Rabinovich Dmitry 2018 Alfred Bruckstein Abstracts Gathering of Agents on a Line
Gelbhart Roei 2018 Ran El-Yaniv Abstracts The Relationship Between Agnostic Selective Classification Active Learning and the Disagreement Coefficient
Zehavi Sa’ar 2018 Eyal Kushilevitz Abstracts On the Gap Between Deterministic Communication Complexity and the Partition Number
Kiyanovski Arthur 2018 Dan Tsafrir Abstracts The Real Difference Between Emulation and Paravirtualization of High-Throughput I/0 Devices
Hooker Niv 2018 Tuvi Etzion Abstracts On the Existence of the q-Fano Planes
Ravid Noam 2018 Benny Kimelfeld Abstracts Ranked Enumeration of Tree Decompositions
Makhoul Waseem 2018 Nader Bshouty Abstracts On Polynomial Time Constructions of Minimum Height Decision Tree
Talmi Itamar 2018 Lihi Zelnik-Manor Abstracts Template Matching with Deformable Diversity Smiliarity
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
Cohen Uzi 2018 Benny Kimelfeld Abstracts Query Engine System for Probabilistic Preferences
Zarivach Igor 2018 Shlomo Moran, Yossi Shiloach, Abstracts The Cruncher: A solver for Large-Scale MIP Problems
Kligler Netanel 2018 Ayellet Tal Abstracts On Visibility and Image Processing
Khoury Seri 2018 Keren Censor-Hillel Abstracts New Lower Bounds for the CONGEST Model
Amir Michael 2018 Alfred Bruckstein Abstracts Probabilistic Pursuits on Graphs
Pat Barak 2018 Joseph Gil, Yaron Kanza, Abstracts Geosocial Search: Finding Places based on Geotagged Social-Media Posts
Trostanetski Anna 2018 Orna Grumberg Abstracts Modular Demand-Driven Analysis of Semantic Difference for Program Versions
Duek Sarai 2018 Shaul Markovitch Abstracts Automatic Generation of Language-Independent Features for Cross-Lingual Classification
Marcovitch Ori 2018 Joseph Gil Abstracts A Nano Patterns Language for Java
Elbaz Dan 2018 Michael Zibulevsky Abstracts Speech Signals Frequency Modulation Decoding via Deep Neural Networks
Moroshko Evgeny 2018 Reuven Cohen Abstracts Sampling-on-Demand in SDN
Gross Amit 2018 Ran El-Yaniv Abstracts Usages of Selective Regression
Sheffi Gal 2017 Erez Petrank Abstracts A Scalable Linearizable Multi-Index Table
Moscovici Eyal 2017 Dan Tsafrir Abstracts Towards Sidecore Management for Virtualized Environments
Licher Roni 2017 Roy Friedman Abstracts Hardening Cassandra Against Byzantine Failures
Choukroun Yoni 2017 Ron Kimmel Abstracts On Elliptic Operators and Non-Rigid Shapes
Kaplan Avi 2017 Michael Lindenbaum, Tamar Avraham, Abstracts Interpreting the Ratio Criterion for Matching SIFT Descriptors
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
Liram Matan 2017 Gala Yadgar, Assaf Schuster, Eitan Yaakobi, Abstracts Evaluating Zigzag Code in a Distributed Storage System
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
Balber Michael 2017 Tomer Shlomi Abstracts Constraint-Based Isotope Tracing (CBIT): Inferring Flux Constraints from Isotopic Tracing Data
Costa Areej 2017 Nader Bshouty Abstracts Exact Learning of Juntas from Membership Queries
Damti Yanir 2017 Shlomo Moran, Ilan Gronau, Irad Yavneh, Abstracts Adaptive Methods for Computing and Comparing Evolutionary Distances
Pergament Evgenya 2017 Eliyahu Ben Sasson Abstracts Algebraic RAM
Koretzki Ran 2017 Assaf Schuster, Eitan Yaakobi, Abstracts Improving SSD-based Caches Lifetime with Write-Once Memory Codes
Levy Rina 2017 Keren Censor-Hillel, Hadas Shachnai, Abstracts Fast Distributed Approximation for Max-Cut
Cohen Gal 2017 Dan Raz Abstracts On routing schemes that are robust to changes in bandwidth demand
Pismenny Boris 2017 Assaf Schuster, Orna Agmon Ben-Yehud, Abstracts Market Driven Queueing
Ren Yi 2017 Michael Elad Abstracts Example-Based Image Synthesis via Randomized Patch-Matching
Maor Gal 2017 Eliyahu Ben Sasson Abstracts Information Theory and Privacy Related Questions in Communication Comlexity
Mayzels Tehila 2017 Yoav Etsion Abstracts Software Management of Hardware Memory Versioning
Bernstein Ran 2017 Assaf Schuster Abstracts Laban Movement Analysis and LDA Distributed Monitoring
Breuer Ran 2017 Ron Kimmel Abstracts A Deep Learning Perspective on the Origine of Facial Expressions
Haramaty Krasne Naama 2017 Eyal Kushilevitz, Yuval Ishai, Abstracts Low-Complexity Cryptographic Hash Functions
Levy Tomer 2017 Joseph Gil Abstracts Fajita – a Fluent API for Automatic Generation of Fluent APIs in Java
Hamilis Matan 2017 Eliyahu Ben Sasson, Mark Silberstein, Abstracts Parallel Additive Fast Fourier Transform Algorithms
Regev Tal 2017 Vadim Indelman Abstracts Multi- Robot Decentralized Belief Space Planning in Unknown Environments
Abramovich Evgeny 2016 Eran Yahav Abstracts Static Mining of Common Concurrency Patterns
Stiefel Avi 2016 Gill Barequet Abstracts Motion Planning in the Presence of Mobile Obstacles
Zmiry Iddo 2016 Joseph Gil Abstracts Lola – A Programming Language for Augmenting Programming Languages
Yadid Shir 2016 Eran Yahav Abstracts Extracting Code from Programming Tutorial Videos
Berkman Anat 2016 David Harel, Eran Yahav, Abstracts Scenario based programming for Mobile Applications
Mordechai Yael 2016 Hadas Shachnai Abstracts Optimization and Reoptimization in Scheduling Problems
Segall Aviv 2016 Mirela Ben-Chen Abstracts 2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates
Timnat Erez 2016 Joseph Naor Abstracts The List Update Problem
Chrizman Cherkassky Nitsan 2016 Alon Itai Abstracts How to Construct Multilingual Domain Ontologies
Lesokhin Ilya 2016 Dan Tsafrir Abstracts I/O Page Faults
Hershko Nir 2016 Gershon Elber Abstracts 3D Augmentations of 2D Maps
Abdelkader Karam 2016 Sharon Shoham-Buchbind, Orna Grumberg, Abstracts Automated Circular Assume-Guarantee Reasoning
Wagner Jonathan Andre 2016 Elad Hazan Abstracts Multiplicative Approximation Algorithms for Generalized Covering and Packing Problems
Geiger Omer 2016 Shaul Markovitch Abstracts Algorithmic Exam Generation
Segev Noam 2016 Ran El-Yaniv Abstracts Transfer Learning using Decision Forests
Grabovitch-Zuyev Irena 2016 Ziv Bar-Yossef, Yaron Kanza, Abstracts Entity search in Facebook
Moraney Jalil 2016 Dan Raz Abstracts Efficient Detection of Flow Anomalies with Limited Monitoring Resources
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
Nus Alexander 2015 Dan Raz Abstracts Migration Plans with Minimum Overall Migration Time
Peleg Omer 2015 Dan Tsafrir Abstracts Utilizing the IOMMU Scalably
Kuperman Yossi 2015 Dan Tsafrir Abstracts vRio: Efficient Paravirtual Remote I/O
Jioussy Rami 2015 Avi Mendelson, Ran Wolff, Abstracts Enhancing Energy-Performance for Power Constrained SoC Systems
Gonen Ido 2015 Roy Friedman Abstracts Defending against Eclipse Attacks in Unstructured Overlays
Elad Noa 2015 Joseph Naor Abstracts Online Semidefinite Programming
Ben Bassat Ran 2015 Hadas Shachnai Abstracts Parameterized Automata Constructions and Their Applications
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
Ben-Yehuda Shmuel 2015 Dan Tsafrir Abstracts The nom Profit-Maximizing Operating System
Aharoni Eldar 2015 Eyal Kushilevitz Abstracts Direct Sum Related Problems in Communication Complexity
Borodin Gregory 2015 Shaul Markovitch, Yaron Kanza, Abstracts Efficient Query Recommendation
Toukan Tariq 2015 Keren Censor-Hillel Abstracts Fault-Tolerant Information Spreading Algorithms
Yudin Eric 2015 Ron Kimmel, Eran Yahav, Abstracts Improving Facial Expression Analysis via Intrinsic Normalization of Surfaces
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
Malka Moshe 2015 Dan Tsafrir Abstracts Rethinking the I/O Memory Management Unit (IOMMU)
Labai Nadia 2015 Johann Makowsky Abstracts Definability and Hankel Matrices
Rosenfeld Eitan 2015 Dan Tsafrir, Michael Factor, Abstracts RAIDP: Replication with Intra-Disk Parity
Zilberstein Meital 2015 Eran Yahav Abstracts Code Similarity via Natural Language Descriptions
Sennesh Eli 2015 Joseph Gil Abstracts Unstructured Jumps and Compressed Size as Defect-Prediction Metrics
Bolshinsky Ella 2015 Roy Friedman Abstracts Towards an Autonomous Sailing Trainer
Goldman Yehonatan 2014 Ehud Rivlin, Abstracts Robust Epipolar Geometry Estimation Using Noisy Pose Priors
Volk Ben Lee 2014 Amir Shpilka Abstracts On the Structure of Boolean Functions with Small Spectral Norm
Strauss Rouven 2014 Gershon Elber Abstracts Geometric Multi-Covering
Shapira Nitzan 2014 Mirela Ben-Chen Abstracts Cross-Collection Map Inference by Intrinsic Alignment Shape Spaces
Elenbogen Dima 2014 Ofer Strichman, Shmuel Katz, Abstracts Proving Mutual Termination of Programs
Hauser Nir Shmuel 2014 Roy Friedman Abstracts COARA: Code Offloading on Android with RMI and Aspects
Cherevatsky Boris 2014 Ehud Rivlin, Abstracts Estimating Epipolar Geometry for Mobile Robots
Malul Elior 2014 Joseph Gil, Opher Etzion, Abstracts Towards Temporal Correctness of Event Processing
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
Ghanayim Alaa 2014 Dan Geiger Abstracts Iterative Referencing for Improving the Interpretation of DNA Sequence Data
Grinberg Maor 2014 Gershon Elber Abstracts Comprehensive Free Handed 3D User Interface for Geometric Design Systems
Wajc David 2014 Nir Ailon, Hadas Shachnai, Joseph Naor, Abstracts Parameterizing P: Proximity to Easy Variants
Kantor Yoav 2014 Roy Friedman Abstracts Combining Erasure-Code and Replication Redundancy Schemes for Increased Storage and Repair Efficiency in P2P Storage Systems
Abasi Hassan 2014 Nader Bshouty Abstracts On r-Simple k-Path
Baltaxe Michael 2014 Michael Lindenbaum Abstracts Probabilistic Local Variation Segmentation
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
Jacobs Kayla 2014 Alon Itai, Shalom Wintner, Abstracts Hebrew Acronym: Identification; Expansion and Disambiguation
Shragai Nadav 2013 Gershon Elber Abstracts Geometric Covering
Strulovich Omer 2013 Yuval Ishai, Eyal Kushilevitz, Abstracts Lossy Chains and Fractional Secret Sharing
Fadida Hanna 2013 Alon Itai, Shalom Wintner, Abstracts Automatic Extraction of Subcategorization Frames for Hebrew
Gabel Moshe 2013 Assaf Schuster, Ran Gilad-Bachrach, Abstracts Unsupervised Anomaly Detection in Large Datacenters
Naamneh Raeda 2013 Gill Barequet Abstracts Fair Multi-Label Reconstruction from Cross-Sections
Israel Assaf 2013 Dan Raz Abstracts Cost Aware Fault Recovery in Clouds
Porat Mordechai 2013 Eliezer Kantorowitz (Deceased) Abstracts A Semantic Approach to User Interface Design
Gurevich Pavel 2013 Meir Orenstein, Tal Mor, Abstracts Experimental Quantum Key Distribution with Classical Alice
Atia Yosi 2013 Tal Mor Abstracts Algorithmic Cooling of Spins by Optimal Control
Druk Erez 2013 Yuval Ishai Abstracts Linear Time Encodable Codes and Cryptography
Geva Amir 2013 Michael Heymann Abstracts Far Field Surveillance Target Classification
Raviv Netanel 2013 Eyal Kushilevitz Abstracts Truth Table Minimization of Computational Models
Gotsman Ranit 2013 Yaron Kanza Abstracts Generating Map-based Routes from GPS Trajectories and their Compact Representation
Rappaport Assaf 2013 Dan Raz Abstracts Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems
Paz Ami 2013 Hagit Attiya Abstracts Counting-Based Impossibility Proofs for Distributed Tasks
Beder Michael 2013 Reuven Bar-Yehuda Abstracts Approximation Algorithms for Resource Scheduling and Allocation Problems
Zeyde Roman 2013 Irad Yavneh Abstracts Computational Electrokinetics
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
Mishne Alon 2013 Eran Yahav Abstracts Programming with Millions of Examples – Scalable Static Specification Mining
Flur Shaked 2013 Orna Grumberg Abstracts Weak Omega Automata
Ben-Elazar Shay 2013 Zohar Yakhini Abstracts Computational Methods for Analyzing Gene Regulation in Model Organisms
Toledano Haggai 2013 Shaul Markovitch Abstracts Coverage-Driven Refinement of Conceptual Representations
Pidan Dmitry 2013 Ran El-Yaniv Abstracts Selective Prediction with Hidden Markov Models
Even Karine 2013 Eran Yahav, Hana Chockler, Abstracts Finding Rate Numerical Stability Errors in Concurrent Computations
Gretz Avishai 2013 Alon Itai, Shalom Wintner, Abstracts Syntactic Annotation of Hebrew CHILDES Corpora
Posener Eyal 2013 Assaf Schuster Abstracts Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auction
Portnoy Amit 2012 Roy Friedman Abstracts TrustPack: a Decentralized Trust Management Framework
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
Kraus Naama 2012 Ziv Bar-Yossef, Shaul Markovitch, Abstracts Context-Aware Query Suggestion
Koren Tomer 2012 Elad Hazan Abstracts Learning Linear Support Vector Machines in Sublinear Time
Magadla Muhammad 2012 Roy Friedman Abstracts Accelerating CIFS over Satellite Networks
Tal Avishay 2012 Amir Shpilka Abstracts On The Minimal Fourier Degree of Symmetric Boolean Functions
Eran Haggai 2012 Erez Petrank Abstracts A Study of Data Structures with a Deep Heap Shape
Mejer Avihai 2012 Yacov Crammer Abstracts Confidence Estimation in Structured Predicition
Levy Omer 2012 Shaul Markovitch Abstracts Teaching Machines to Learn by Metaphor
Hurwitz Daniel 2012 Alon Itai Abstracts Morphological and Lexical Decomposition as a Basis for Identifying Multiword Expressions
Regev Eyal 2012 Alfred Bruckstein, Yaniv Altshuler, Abstracts Multi Agent Systems in Stochastic Dynamic Environments
Garber Dan 2012 Elad Hazan Abstracts Approximating Semidefinite Programs in Sublinear Time
Zemach Ran 2012 Irad Yavneh Abstracts Algebraic Collocation Coarse Approximation (ACCA) in Multigrid
Avraham Uri 2012 Eli Biham, Orr Dunkelman, Abstracts ABC – A New Framework for Symmetric Block Ciphers
Shimron Yuval 2012 Joseph Gil Abstracts Smaller Footprint for Java Collections
Gidron Elad 2012 Idit Keidar Abstracts Exploiting Locality and NUMA in Scalable Conncurrent Libraries
Raviv Ariel 2012 Shaul Markovitch Abstracts Concept-Based Approach to Word-Sense Disambiguation
Abboud Amir 2012 Assaf Schuster, Daniel Keren, Abstracts Monitoring General Functions in Distributed Systems with Minimal Communication
Bar Pavel 2012 Assaf Schuster Abstracts Resource Management in Grid Environments
Kviatkovsky Igor 2012 Michael Heymann, Ehud Rivlin, Amit Adam, Abstracts Color Invariants for Person Re-Identification
Eisenberg Vadim 2012 Yaron Kanza Abstracts Programming Applications over the Semantic-Web
Hartstein Itamar 2012 Shmuel Zaks, Mordohay Salom, Abstracts On the Complexity of the Regenerator Location Problem – Treewidth and Other Parameters
Vornovitsky Kolman 2012 Carmel Domshlak Abstracts Abstractions for Devising Compact Controllers for MDPs
Kuperstein Michael 2012 Eran Yahav, Martin Wechev, Abstracts Preserving Correctness Under Relaxed Memory Models
Faynburd Alexandra 2012 Ran El-Yaniv Abstracts Autoregressive Short-Term Prediction of Turning Points Using Support Vector Regression
Barabash Katherine 2011 Erez Petrank Abstracts Scalable Garbage Collection on Highly Parallel Platforms
Genkin Daniel 2011 Michael Kaminski Abstracts Radical Lexicalization of Mildly Context-Sensitive Languages
Brickner Boaz 2011 Assaf Schuster, Daniel Keren, Abstracts Methods for Recognition by Graphical Style and Style Synthesis Using Local Analysis
Shulman Anna 2011 Roy Friedman Abstracts A Density Driven Publish Subscribe Service for Mobile Ad-Hoc Networks
Shalom Israel 2011 Joseph Naor Abstracts Online Load-Distance Balancing
Nudelman Ilia 2011 Reuven Cohen Abstracts Dependent UFP On a Shared Channel With Application to a Network Centric Operation
Adadi Roi 2011 Tomer Shlomi Abstracts Prediction of Microbial Growth Rate versus Biomass Yield by a Metabolic Network with Kinetic Parameters
Chernoy Viacheslav 2011 Shmuel Zaks, Mordohay Salom, Abstracts On the Performance of Dijkstra’s Third Self-Stabilizing Algorithm for Mutual Exclusion and Related Algorithms
Roggel Neer 2011 Roy Friedman Abstracts Anonymous Routing for Mobile Ad Hoc Networks
Weissbrod Omer 2011 Dan Geiger Abstracts Genetic Linkage Analysis in the Presence of Germline Mosaicism
Kulik Ariel 2011 Hadas Shachnai Abstracts Submodular and Linear Maximization with Knapsack Constraints
Bermano Amit 2011 Chaim Craig Gotsman Abstracts Online Reconstruction of 3D Objects from Arbitrary Cross- Section Data
Vitkin Edward 2011 Tomer Shlomi Abstracts Functional Genomics Based Approach for Reconstruction of Genome Scale Metabolic Network Models
Shem-Tov Shachar 2011 Alfred Bruckstein Abstracts Topics in Over-Parametrization Variational Methods
Zinenko Dmitry 2011 Shay Kutten Abstracts Communication-Efficient Self-Stabilization
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
Kolan Tom 2011 Ronny Roth Abstracts Coding Techiques for Burst Errors
Hashavit Anat 2011 Shaul Markovitch Abstracts Unbiased Rational Decision Making in Multiple-Adversary Environments
Polevoy Gleb 2011 Reuven Bar-Yehuda Abstracts Bandwidth Allocation in Cellular Networks with Multiple Interferences
Yaniv Jonathan 2011 Joseph Naor Abstracts Truthful Mechanisms for Value-Based Scheduling in Cloud Computing
Albocher Dan 2010 Gershon Elber Abstracts Real-Time Haptic Simulation for Surgical Procedures
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
Kerem Nir 2010 Alon Itai Abstracts Effects of Typicality on the Interpretation of Reciprocal Expressions
Liberman Sofia 2010 Shaul Markovitch Abstracts Wikipedia-Based Compact Hierarchical Semantics for Natural Language Processing
Rybnikov Silvina 2010 Ehud Rivlin, Abstracts Building a Non-Euclidean Roadmap from a Small Set of Images
Sharov Artyom 2010 Ronny Roth Abstracts Coding Techniques for Multidimensional Constrained Channels
Cohen Gil 2010 Amir Shpilka Abstracts On the Degree of Symmetric Functions on the Boolean Cube
Nisenson Mordechai 2010 Ran El-Yaniv Abstracts On the Foundations of Adversarial Single-Class Classification
Myaskouvskey Artiom 2010 Michael Lindenbaum Abstracts Using A Contrario Methology for Part-Based Object Detection
Vainsencher Daniel 2010 Alfred Bruckstein Abstracts 2D Digital Balls
Ben Moshe Sagi 2010 Eldar Fischer Abstracts Using Property Testing for Efficient Detection of Nearly-Sorted relations
Carmi Adam 2010 Michael Kaminski, Ron Pinter, Abstracts Adaptive Multi-Pass Parsing
Alperin Yevgenia 2010 Shmuel Katz Abstracts Property Analysis and Automatic Detection of Aspect Categories
Peles David 2010 Michael Lindenbaum Abstracts Segmentation by Classification
Belchich Masha 2010 Gershon Elber Abstracts Sketch Based Design of 2D and 3D Freeform Geometry
Elazar Raviv 2010 Hadas Shachnai Abstracts Algorithms for Two-Tier Scalable Data Upload
Ron-Zewi Noga 2010 Joseph Naor, Ron Aharoni, Abstracts Vector Representation of Graph Domination
Bentov Iddo 2010 Nader Bshouty Abstracts On Exact Learning from Random Walk
Meller Yael 2010 Orna Grumberg Abstracts Multi Valued Abstraction and Compositional Model Checking
Ben-Israel Shir 2010 Eliyahu Ben Sasson Abstracts Symmetry Breaking Can Dramatically Reduce the Length of Propositional Refutations
Shaphir Evgeny 2009 Ron Pinter, Shmuel Wimer, Abstracts Interconnect-Driven Cell-Based Migration of Integrated Circuit Layout
Shragai Tali 2009 Joseph Gil Abstracts Empiric Evaluation of the Usability of Virtual Function Calls within Constructors
Giryes Raja 2009 Michael Elad, Yonina Eldar, Abstracts Automatic Parameter Tuning for Inverse Problems
Tal Asenath 2009 Gill Barequet Abstracts Algorithms for Heilbronn’s Triangle Problem
Mhameed Aezalden 2009 Dan Raz, Reuven Cohen, Abstracts Locally vs. Globally Optimized Flow-Based Content Distribution to Mobile Nodes
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
Devir Yohai 2009 Yuval Rabani Abstracts Intrinsic Regularization of Inverse Problems Involving Non-Rigid Shapes
Mori Noam 2009 Roy Friedman Abstracts 3DLS:Density-Driven Data Location Service for Mobile Ad-Hoc Networks
Tzemach Anna 2009 Dan Geiger Abstracts Preparing SNP Data For Genetic Linkage Analysis
Karmon Kfir 2009 Assaf Schuster Abstracts Enforcing a Global Resource Quota in a grid Environment
Tzur Yochay 2009 Ayellet Tal Abstracts Photogrammetric Texture Mapping Using Casual Images
Bar-Aviv Ezer 2009 Ehud Rivlin Abstracts Function Based Object Categorization Using Simulation of an Agent
Ryabtsev Michael 2009 Ofer Strichman Abstracts Translation Validation: from Simulink to C
Skolozub Alexandra 2009 Ron Pinter Abstracts Conditional Integration of Biological Pathways
Flysher Guy 2008 Reuven Bar-Yehuda Abstracts Approximation Algorithms for Partial Capacitated Covering Problems
Pekelny Yuri 2008 Chaim Craig Gotsman Abstracts Articulated Object Reconstruction and Motion Capture from Depth Video
Mansour Saeb 2008 Alon Itai, Yoad Winter, Abstracts Combining Character and Morpheme Based Models for Part-of- Speech Tagging of Semitic Languages
Marie Anan 2008 Carmel Domshlak, Avigdor Gal, Abstracts Second Line Schema Matchers
Raviv Dan 2008 Ron Kimmel Abstracts Symmetries of Non-rigid Shapes
Itamar Einav 2008 Alon Itai Abstracts Using Movie Subtitles for Creating Statistical Alignment Models
Devir Zvi 2008 Michael Lindenbaum Abstracts Generalized Blind Sampling of Images
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
Rosman Guy 2008 Ron Kimmel Abstracts Efficient Flattening in Manifold Learning and Image Processing
Oshman Rotem 2008 Orna Grumberg Abstracts Bounded Model – Checking for Branching-Time Logic
Zamir Tal 2008 Assaf Schuster, Michael Factor, Abstracts Speculative Lock Acquisition for Fault-Tolerant Distributed Systems
Goldin Ishay 2008 Alfred Bruckstein Abstracts Vesicles and Amoebae: On Globally Constrained Shape Deformation
Orlovsky Arie 2008 Dan Raz Abstracts Decentralized Enforcement of Security Policies for Distributed Computational Systems
Shotland Ari 2008 Roy Friedman Abstracts Efficient Route Discovery in Hybrid Networks
Mashiach Li-Tal 2008 Ziv Bar-Yossef Abstracts Local Approximation of PageRank and Reverse PageRank
Zarivach Evelina 2008 Joseph Gil Abstracts Evaluating Datalog Programs over Infinite and Founded Databases
Klinger Andrey 2008 Moshe Tennenholtz Abstracts Stability against Group Deviations in Non-Cooperative Computation
Yaakobi Eitan 2008 Tuvi Etzion Abstracts Codes for Correcting Multi-Dimensional Bursts
Ginzburg Mark 2008 Alfred Bruckstein Abstracts Holographic Video-Scene Watermarking in the 3D-DFT Domain
Kogan Alex 2008 Hagit Attiya Abstracts Efficient and Robust Local Mutual Exclusion in Mobile Ad- Hoc Networks
Massarwa Fady 2008 Chaim Craig Gotsman, Gershon Elber, Abstracts Papercrafts from 3D Polygonal Models
Aboud Amjad 2008 Yuval Rabani Abstracts Correlation Clustering with Penalties and Approximating the Recordering Buffer Management Problem
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
Fox Roy 2008 Moshe Tennenholtz Abstracts Reinforcement Learning in Partially Observable Decision Processes
Mano Adi 2008 Ron Pinter Abstracts Building Phylogenetic Trees Based on Biochemical Pathways
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
Datsenko Dmitry 2007 Michael Elad Abstracts Example-based Regularization in Inverse Problems
Shaikhet Alina 2007 Gill Barequet Abstracts The On-Line Heilbronn’s Triangle Problem in d Dimensions
Osherovich Eliyahu 2007 Alfred Bruckstein Abstracts Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt Systems
Shklover Gregory 2007 Assaf Schuster Abstracts Explicitly-Parallel Code Compilation Methods for Shared- Context Architecture
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
Grimberg Benjamin 2007 Michael Kaminski Abstracts Minimal Model semantics for First-Order Ground Non-Monotonic Modal Logic
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
Ohayon Shay 2007 Ehud Rivlin Abstracts A Computational Analysis of Biological Behavior: Interactions of Gaze Control and Visual Attention
Eden Eran 2007 Zohar Yakhini Abstracts Discovering Motifs in Ranked Lists of DNA Sequences
Gershman Roman 2007 Ofer Strichman Abstracts Improvements of SAT Solving Techniques
Mazzawi Hanna 2007 Nader Bshouty Abstracts Learning Composed Classes with a Small Number of Mistakes
Rozenfeld Olga 2007 Moshe Tennenholtz Abstracts Strong Equilibrium in Congestion Games
Brickner Erez 2007 Alfred Bruckstein, Israel Wagner, Abstracts The Populating Problem A Study in Multi-Nano-Robotics
Mador-Haim Sela 2007 Yoad Winter Abstracts Natural Language Interface for Geographical Information Systems
Rubinstein Amir 2007 Ron Pinter, Yona Kassir, Abstracts Faithful Modeling of Transient Behavior in Developmental Pathways
Magid Yonit 2007 Johann Makowsky Abstracts BSS Model of Computation over the Reals and Choice Operator
Tsitrin Yan 2007 Uzi Ornan Abstracts Master-Slave Dependency Model and its Application to the Hebrew Understanding
Yehezkely Omer 2007 Hadas Shachnai Abstracts Approximation Schemes for Packing with Item Fragmentation
Bisht Laurence 2007 Nader Bshouty Abstracts On Optimal Learning Algorithms for Multiplicity Automata
Lyakas Alexander 2006 Eliezer Kantorowitz (Deceased) Abstracts Specification-Oriented Construction of Web Information Systems
Sharon Itai 2006 Golan Yona, Ran El-Yaniv, Abstracts Similarity Detection for Low Complexity and Remotely Related Proteins
Zeitlin Daniel 2006 Michael Kaminski Abstracts Look-Ahead Finite-Memory Automata
Polonsky Oleg 2006 Chaim Craig Gotsman Abstracts What’s in an Image? Towards the Computation of Good Views for Three-Dimensional Objects
Dubrov Bella 2006 Yuval Ishai Abstracts On the Randomness Complexity of Efficient Sampling
Katzengold Oren 2006 Avi Mendelson, Assaf Schuster, Abstracts Effective Use of Trace Caches
Vaxman Amir 2006 Gill Barequet Abstracts Nonlinear Interpolation between Slices
Krivitski Denis 2006 Assaf Schuster Abstracts A Local Facility Location Algorithm for Large-Scale Distributed Systems
Sidlesky Avishay 2006 Gill Barequet, Chaim Craig Gotsman, Abstracts Polygon Reconstruction from Line Cross-Sections
Avni Ofir 2006 Ehud Rivlin Abstracts Biologically Motivated Modeling and Imitating the Chameleon’s Vision System
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
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
Golan Shimon 2006 Avigdor Gal, Ron Pinter, Abstracts Efficient Algorithms for Computing Resource Availability in WAA Environments
Estrin Yacov 2006 Shmuel Katz Abstracts Expert System On Translations among Formal Verification Tools in VeriTech
Sela Guy 2006 Gershon Elber Abstracts Exploiting the Free-Form Deformation Function as a Geometric Modeling Tool
Sabato Sivan 2006 Yoad Winter Abstracts The Semantics of Reciprocal Expressions in Natural Language
Fireman Liza 2006 Erez Petrank Abstracts The Complexity of SIMD Alignment
Censor Hillel Keren 2006 Tuvi Etzion Abstracts Constrained Codes for Two-Dimensional Channels
Lerner Tal 2006 Moshe Gur, Ehud Rivlin, Abstracts Motion Correction in fMRI Images
Katz Emilia 2006 Shmuel Katz Abstracts Verifying Scenario-Based Aspect Specifications
Kloper Dimitry 2006 Gill Barequet, Chaim Craig Gotsman, Abstracts Geometries and Topologies of Triangulations of Point Sets
Shraer Alexander 2006 Idit Keidar Abstracts Timeliness, Failure-Detectors and Consensus Performance
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
Adler Amir 2006 Shaul Markovitch, Ariel Felner, Abstracts Reducing Memory Requirements for Pattern Databases
Subag Jacob 2006 Gershon Elber Abstracts Piecewise Developable Surface Approximation of General NURBS Surfaces, with Global Error Bounds
Naor Jonathan 2006 Gill Barequet Abstracts d-Dimensional Variants of Heilbronn’s Triangle Problem
Henig Asaf 2006 Dan Raz Abstracts The Transcoders’ Placement Problem over Multicast Networks
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
Brel Rachel 2006 Orna Grumberg Abstracts Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
Golubchyck Roman 2006 Michael Lindenbaum Abstracts Improving the Saliency Algorithm by Grouping Cues Optimization
Shochot Amnon 2005 Reuven Cohen Abstracts Extending BGP to Support the Concept of “Global AS”
Bar-Haim Roy 2005 Yoad Winter Abstracts Part-of-Speech Tagging for Hebrew and other Semitic Languages
Yedidya Haggai 2005 Ron Pinter Abstracts Performance Evaluation of Data Caches Organizations for SMT Processors
Barsky Roman 2005 Israel Wagner Abstracts Electromigration-dependent Parametric Yield Estimation
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
Ifergan Nili 2005 Orna Grumberg Abstracts Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation
Frank Roy 2005 Michal Penn Abstracts Revenue-Maximizing Allocations in Constrained Multi-Object and Combinatorial Auctions
Begleiter Ron 2005 Ran El-Yaniv Abstracts Can Theory Meet Practice in Sequence Prediction?
Korland Guy 2005 Roy Friedman Abstracts Location Awareness in Wireless Ad-Hoc Networks (or How to RLISE a TIGR?)
Flaisher Alon 2005 Abstracts Enhanced Vacuity Detection in Linear Temporal Logic
Dardyk Gregory 2005 Irad Yavneh Abstracts Robust Nonlinear Multigrid Methods
Meir Orly 2005 Ofer Strichman Abstracts A Decision Procedure for Equality Logic
Pilosof Saar 2005 Dan Raz Abstracts TCP Fairness over Wireless LAN
Saba Shadi 2005 Irad Yavneh, Alla Sheffer, Chaim Craig Gotsman, Abstracts Barycentric Spherical Embeddings – Algorithms and Theory
Khoury Lawrance 2005 Nader Bshouty Abstracts Learning with Errors in Answers to Membership Queries
Harel Assaf 2005 Eliezer Kantorowitz (Deceased) Abstracts Estimating the Number of Faults Remaining in Software Code Document Inspected with Iterative Code Reviews
Goryachev Alex 2005 Gill Barequet Abstracts Offset-Polygon and Annulus Placement Problems
Yarom Sasson Gil 2005 Z. Ben-Shaul Abstracts D-SEDA Distributed Staged Event-Driven Architecture
Eden Orit 2005 Marius Ungarish, Gershon Elber, Abstracts Simulation and Visualization of Gravity Currents
Salman Tamer 2005 Yoram Baram, Alfred Bruckstein, Abstracts Learning Polynomial Generating Rules Using Support Vector Machines
Bennet Rotem 2005 Nader Bshouty Abstracts Improved Learning with Corrupt Oracles
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
Izmerly Oleg 2005 Tal Mor Abstracts Modern Cryptography in a Quantum World
Matusevich Mark 2005 Dan Geiger Abstracts Off-Line Improvement of Generic Group Trackers
Bronstein Michael 2005 Ron Kimmel Abstracts Three-Dimensional Face Recognition
Shnitzer Oren 2005 Shaul Markovitch Abstracts Self-Consistent Batch Classification
Sandler Roman 2005 Abstracts Gabor Filters Analysis for Texture Segmentation
Beryozkin Genady 2005 Nissim Francez Abstracts Plural Semantics for Control Sentences in LFG’s “Glue” Interface
Elster Constantine 2005 Dan Raz Abstracts Efficient Monitoring of QOS Parameters
Galperin Vadim 2005 Yoram Baram Abstracts In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals
Luz Kobi 2004 Ran El-Yaniv, Yoram Baram, Abstracts Online Choice of Active Learning Algorithms
Amit Asaf 2004 Shaul Markovitch Abstracts Learning to Cooperete with Application to Bridge Bidding
Veksler Tatyana 2004 Nissim Francez Abstracts Automata and Type-Logical Grammars
Scharf Yuval 2004 Gill Barequet Abstracts Covering Points with a Polygon
Zach Idan 2004 Hagit Attiya Abstracts Fully Adaptive Shared Memory Algorithms
Bar-Or Amir 2004 Assaf Schuster Abstracts Hierarchical Decision Tree Induction for Highly Dimensional Data in Large-Scale Distributed Systems
Yakersberg Evgeny 2004 Gill Barequet Abstracts Morphing between Geometric Shapes using a Straight-Skeleton- Based Interpolation
Altman Alon 2004 Yoad Winter Abstracts Computation and Specification of Scope Dominance with Monotone Quantifiers in Natural Language
Schwartz Roy 2004 Joseph Naor Abstracts Circular Arrangements
Sapir Tali 2004 Chaim Craig Gotsman, Uzi Vishkin, Abstracts Parallel Raytracing Using the XMT Paradigm
Cohen Rami 2004 Dan Raz Abstracts Time Dependent Multi Scheduling of Multicast
Kaplan Yaniv 2004 Hagit Attiya Abstracts Lower Bounds for Adaptive Collect and Related Objects
Lifshits Michael 2004 Ehud Rivlin Abstracts Vision-Based Navigation on Microscopic Images
Glikson Alexander 2004 Johann Makowsky Abstracts Verification of Generally Intractable Graph Properties on Graphs Generated by Graph Grammars
Louidor Erez 2004 Ronny Roth Abstracts Lowest-Density MDS Codes over Super-Alphabets
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
Dvorkin Alexander 2004 Dan Raz Abstracts Ensuring End-to-End Delay in the DiffServ Model
Guez Dan 2004 Adi Rosen Abstracts Scheduling Time-Constrained Communication in Input Queued Switches
Mogilnitsky Maxim 2004 Moshe Israeli (Deceased), Alla Sheffer, Abstracts Efficient, Low Distortion, Conformal Parameterization of Large Meshes
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?
Shoham Buchbinder Sharon 2004 Orna Grumberg Abstracts A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement
Getselevich Vladimir 2004 Dan Raz Abstracts Enabling Efficient Fast Track Services in Active Networks
Kadry Wisam 2004 Ron Pinter Abstracts Simulation of Metabolic Pathways
Moffie Micha 2004 Gill Barequet Abstracts Counting Polyominoes in Two and Three Dimensions
Sasson Amir 2004 Idit Keidar Abstracts Understanding and Mitigating the Effects of Denail-of- Service Attacks on Secure Gossip-Based Multicast
Bekkerman Anna 2004 Joseph Gil Abstracts Conflict Resolution and Operator Priorities in Extended BNF
Tsirkin Michael 2004 Adi Rosen Abstracts Delivery Times in Packet Networks under Full Load
Merksamer Yael 2004 Tuvi Etzion Abstracts Two Dimensional Cluster Error-Correcting Codes
Derbeko Philip 2004 Ran El-Yaniv Abstracts Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms
Buchbinder Niv 2004 Erez Petrank Abstracts Lower and Upper Bounds on Obtaining History Independence
Gilburd Baruch 2004 Assaf Schuster Abstracts A Privacy Model and Privacy-Preserving Algorithms for Data Mining in Large-Scale Distributed Systems
Rokhlenko Oleg 2004 Ron Pinter Abstracts Tree-Based Comparison of Metabolic Pathways
Skarbovsky Alina 2004 Dan Raz Abstracts Performance Evaluation and Modeling of TCP over Cellular Wireless Links
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
Gutterman Zvi 2004 Irad Yavneh, Joseph Gil, Abstracts Symbolic Pre-Computation for Numerical Applications
Talmor Yoram 2004 Assaf Schuster Abstracts Higher Performance DSM by Peaking Network Utilization
Zamansky )Lifshits( Anna 2004 Nissim Francez Abstracts A ‘Natural Logic’ Inference System Based on the Lambek Calculus
Tcharny Galina 2004 Roy Friedman Abstracts Fuzzy Group Communication in Mobile Ad Hoc Networks
Souroujon Oren 2004 Ran El-Yaniv Abstracts Iterative Double Clustering: An Information-Theoretic Algorithm for Clustering Textual Data
Balter Dorit 2004 Shlomo Moran Abstracts Medical Records Confidentiality Problem
Rotstein Carmen 2004 Yoad Winter Abstracts A Semantic Framework for Total and Partial Adjectives
Avidor Zvi 2004 Hagit Attiya Abstracts n-Set Consensus when Inputs are Restricted
Cohen Uriel 2003 Joseph Gil Abstracts Object Relations and Syntactic Mechanisms in Design Patterns
Lipson Doron 2003 Zohar Yakhini, Uri Sivan, Abstracts Optimization Problems in Design of Oligonucleotides for Hybridization Based Methods
Kraevoy Vladislav 2003 Alla Sheffer, Chaim Craig Gotsman, Abstracts Matchmaker: Constructing Constrained Texture Maps
Golbandi Nadav 2003 Ami Litman Abstracts Characterization and Classification of Butterfly Like Networks
Heiman Amnon 2003 Dan Geiger, Arie Admon, Abstracts Protein Identification via Mass Spectrometry
Livshitz Dmitry 2003 Alfred Bruckstein Abstracts Robotic Self Location Using Three Dimensional Fiducials and Omnidirectional Cameras
Brunstein Daniel 2003 Gill Barequet, Chaim Craig Gotsman, Abstracts Animating a Camera for Viewing a Planar Polygon
Ben-Chen Mirela 2003 Chaim Craig Gotsman Abstracts On the Optimality of Spectreal Mesh Compression
Jaeger Efrat 2003 Nissim Francez, Shalom Wintner, Abstracts Unification Grammars and Off-Line Parsability
Bar-Lev Adi 2003 Alfred Bruckstein, Gershon Elber, Abstracts virtual marionettes: a system for real-time animation in 3D
Dekel Uri 2003 Joseph Gil Abstracts Revealing JAVA Class Structure with Concept Lattices
Panman Evgeny 2003 Dan Raz Abstracts Efficient Data Collection Algorithm
Davidov Dmitry 2003 Shaul Markovitch Abstracts Multiple-Goal Heuristic Search Algorithms
Wexler Ydo 2003 Dan Geiger Abstracts Finding Approximate Tandem Repeats in Genomic Sequences
Broom Ya’akov 2003 Dan Geiger Abstracts Bayesian Classification and Clustering via DAG Hierarchies
Pozniansky Eliyahu 2003 Assaf Schuster Abstracts Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs
Tal Ido 2003 Ronny Roth Abstracts List Decoding of Lee Metric Codes
Raab Roni 2003 Chaim Craig Gotsman, Alla Sheffer, Abstracts Virtual Woodwork: Making Toys from Geometric Models
Azatchi Hezi 2003 Erez Petrank Abstracts Integrating Generations with Advanced Reference Counting Collectors
Katsman Igor 2003 Ehud Rivlin Abstracts Biologically Motivated Modeling and Simulation of Animals Vision Activities
Kenigsberg Avraham 2003 Ron Kimmel, Irad Yavneh, Abstracts A Multigraid Approach for Fast Geodesic Activ Contour
Beliak Leonid 2003 Moshe Israeli (Deceased) Abstracts Adaptive Calculation of Variable Coefficients Elliptic Differential Equations via Wavelets
Cohen Tzafrir 2003 Erez Petrank Abstracts Responsive Round Complexity and Concurrent Zero-Knowledge
Veytsal Boris 2003 Eliezer Kantorowitz (Deceased), Roy Friedman, Abstracts Model Driven Help Systems Generation
Scalosub Gabriel 2003 Yuval Rabani Abstracts Bicriteria Approximation Tradeoff for the Node-Cost Budget Problem
Owshanko Avraham 2003 Nader Bshouty Abstracts Learning Finite Automata, Using Incomplete Membership Queries
Sifri Oren 2003 Alla Sheffer, Chaim Craig Gotsman, Abstracts Surface Meshing Using Geodesic Distances
Shapiro Constantine 2003 Shmuel Katz Abstracts Object-Oriented Implementation of Reconciliations
Gavish Yael 2003 Erez Petrank Abstracts Cache-Conscious Garbage Collection for Servers
Szarfman Dafna 2003 Erez Petrank Abstracts Reducing Cache Conflicts via Garbage Collection
Berg Mirit 2003 Shmuel Katz Abstracts Property Transformations for Translations
Keidar Sharon 2003 Orna Grumberg Abstracts Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
Bekkerman Ron 2003 Yoad Winter, Ran El-Yaniv, Abstracts Distributional Clustering of Words for Text Categorization
Kama Alon 2003 Roy Friedman Abstracts Transparent Fault-Tolerant Java Virtual Machine
Goldin Alexander 2003 Chaim Craig Gotsman Abstracts Geometric Message-Filtering Protocols for Distributed Multi- Agent Environments
Gavinsky Dmitry 2002 Nader Bshouty Abstracts Boosting with Polynomially Bounded Distributions
Frank Ari 2002 Dan Geiger, Zohar Yakhini, Abstracts A New Branch and Bound Feature Selection Algorithm
Ben Avi Gilad 2002 Yoad Winter Abstracts Monotonicity Properties of Plural Quantifiers in Natural Language
Laor Dor 2002 Roy Friedman Abstracts Soft Real-Time Layered Group Communication
Shatil Assaf 2002 Shaul Markovitch Abstracts Speedup Learning for Repair-Based Search by Identifying Redundant Steps
Parham Robert 2002 Yoram Baram Abstracts Solving the Dynamic Conflict between N Moving Objects Using Neural Networks
Kaplan Alexandr 2002 Ehud Rivlin, Abstracts Finding Epipolar Geometry from Two Color Images
Koyfman Shlomit 2002 Nissim Francez Abstracts Semantic Invariance of Algorithms for Nominal Anaphora Resolution
Cohen Tal 2002 Joseph Gil Abstracts Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice
Ram Roni 2002 Dan Raz Abstracts Efficient Distribution of Email Messages
Tadmor Sally 2002 Eliezer Kantorowitz (Deceased), Roy Friedman, Abstracts A Framework for Interactive Information Systems
Gleizer Vadim 2002 Assaf Schuster Abstracts Optimizing Sharing Patterns and Locality via Thread Migration
Firstenberg Yosef 2002 Shmuel Katz, Oded Shmueli, Abstracts Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
Ron Lior 2002 Yoram Baram Abstracts A Visual Feedback System
Fedorov Yaroslav 2002 Yoad Winter Abstracts Implementing and Extending Natural Logic
Katriel Irit 2002 Alon Itai Abstracts Implicit Data Structures based on Local Reorganizations
Kohn Emil 2002 Assaf Schuster Abstracts A Transparent DSM System
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
Adi Liav 2002 Ron Kimmel Abstracts Fast Computation of Geodesic Distances: Graphic Applications
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
Yaroshinsky Ran 2002 Ran El-Yaniv Abstracts Smooth Online Learning of Expert Advice
Kenigsberg Dan 2002 Eli Biham Abstracts Grover’s Quantum Search Algorithm and Mixed States
Reger Ronit 2002 Shaul Markovitch Abstracts Learning and Exploiting Relative Weaknesses of Opponent Agents
Elad Asi 2002 Ron Kimmel Abstracts On Surface Flattening via MDS and FMMTD
Tulchinsky Elena 2002 Joseph Gil Abstracts Positive Semantics of Projections in Venn-Euler Diagrams
Nevo Ziv 2002 Ran El-Yaniv Abstracts On Online Learning of Decision Lists
Atzmon Hilla 2002 Roy Friedman Abstracts Replacement Policies for Internet Wide Caching of Distributed Objects
Kalinovsky Vladislav 2002 Assaf Schuster, Roy Friedman, Abstracts Symphony: Managing Virtual Servers
Feldman Vitaly 2002 Nader Bshouty Abstracts On Using Extended Statistical Queries to Avoid Membership Queries
Bendel Keren 2002 Reuven Bar-Yehuda Abstracts Applications of the Local-Ratio Technique: A Survey
Sorkin Yan 2001 Joseph Gil Abstracts CD-Edit- A Constraint Diagrams’ Editor
Levanoni Yosseff 2001 Erez Petrank Abstracts On-The-Fly Garbage Collection via Sliding Views
Ekshtein Ilya 2001 Chaim Craig Gotsman Abstracts Texture Mapping Using Constrained Parametrization
Tsoglin Yuri 2001 Joseph Gil Abstracts JAMOOS – an Object Oriented Language for Grammars
Leiba Lior 2001 Oded Shmueli Abstracts Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation
Shapira Irina 2001 Hadas Shachnai Abstracts Scheduling Splitting Intervals
Gorovoy Alexander 2001 Alon Itai, Joseph Gil, Abstracts Applying Data Compression Algorithms to Software Engineering
Epelman Boris 2001 Gershon Elber Abstracts Remote Geometrical Modeling
Eckel Natalie 2001 Joseph Gil Abstracts Empirical Study of Object-Layout Strategies and Optimization Techniqes
Bogomjakov Alexander 2001 Chaim Craig Gotsman Abstracts Optimized Polygon Traversal of Progressive Meshes for Vertex Caching
Yanovski Vladimir 2001 Alfred Bruckstein Abstracts Simple Agents for Complex Tasks
Rinetskey Noam 2001 Shmuel Sagiv, Orna Grumberg, Abstracts Interprocedural Shape Analysis
Hermesh Barak 2001 Alfred Bruckstein Abstracts Fiducials for Precise Location Estimation
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
Levyatan Tzach 2001 Shaul Markovitch Abstracts Anytime Search by Improving Highest-Utility Solution Segments
Katz Yoav 2001 Hadas Shachnai Abstracts Scheduling with Batching and Incompatible Job Families
Kronrod Boris 2001 Chaim Craig Gotsman Abstracts Topics in Compression of 3d Models
Mosin Julia 2001 Michael Kaminski Abstracts Base Dependence of Extensions for Open Default Theories
Almog Eli 2001 Hadas Shachnai Abstracts Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited
Chuzhoy Julia 2001 Yuval Rabani Abstracts Hardness of Approximation and New Approximability Classes
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
Kehat Zehavit 2001 Reuven Bar-Yehuda Abstracts Approximating the Dense Set-Cover Problem
Livne Shlomo 2001 Shaul Markovitch, Orna Grumberg, Abstracts Machine Learning for Efficient BDD Variable Ordering in Verification
Gaysinsky Alexander 2001 Hadas Shachnai Abstracts Caching Integrated with Pipelined Prefetching
Kronrod Svetlana 2001 Roy Friedman Abstracts Probablistic Scalable Application Placement in Distributed Systems
Moran Shiri 2001 Ami Litman Abstracts Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues
Furman Vladimir 2001 Eli Biham Abstracts Cryptanalysis of Some Modern Blockciphers
Halevy Shirley 2001 Ronny Roth Abstracts Two-Dimensional Coding for Recording Channels
Tayar Rafi 2001 Shimon Even (Deceased) Abstracts Scanning Directed Eulerian Mazes by a Finite-State Robot
Tal Dina 2001 Uzi Ornan Abstracts Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences
Lebanon Guy 2000 Alfred Bruckstein Abstracts Moire Pattern Synthesis
Niv Nitzan 2000 Assaf Schuster Abstracts Dynamic Adaptation of the Sharing Granularity in Dsm Systems
Froimovich Guy 2000 Ehud Rivlin, Abstracts Object Classification from Range Images
Zigelman Gil 2000 Ron Kimmel Abstracts Texture Mapping by Surface Flattening Via Mds
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
Skoblikov Victoria 2000 Nissim Francez Abstracts Feature-Based Computational Lexicon of Hebrew Vrebs
Artzi Shay 2000 Michael Kaminski Abstracts Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields
Rey Guy 2000 Michael Kaminski Abstracts First-Order Non-Monotonic Logic
Levinson Dmitry 2000 Alon Itai Abstracts Corpus-Based Methods for Word Sense Disambiguation
Voloshin Ariella 2000 Abstracts A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line
Zbar Yael 2000 Michael Kaminski Abstracts Open Default Theories
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
Rusakov Dmitry 2000 Shaul Markovitch, Michael Lindenbaum, Abstracts Selective Sampling for Nearest Neighbor Classifiers
Kogan Dmitry 2000 Abstracts Remote Reference Counting: Distributed Garbage Collection With Low Communication and Computation Overhead
Barkol Omer 2000 Abstracts Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model
Segal Erel 2000 Alon Itai Abstracts Hebrew Morphological Analyzer for Hebrew Undotted Texts
Gretskin Ilia 1999 Abstracts Java Interface for Irit Solid Modeler
Plavnik Michael 1999 Abstracts Surface Design Using Global Second Order Differential Constraints
Netzer Arnon 1999 Chaim Craig Gotsman Abstracts Mosaicing Video Sequences
Lempel Ronny 1999 Abstracts Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web’s Link- Structure
Cohen Amit 1999 Abstracts A Dynamic Approach for Efficient Tcp Buffer Allocation
Surazhsky Vitaly 1999 Chaim Craig Gotsman Abstracts Morphing Planar Triangulations
Biberstein Marina 1999 Abstracts Constructions and Bounds for Blot-Correcting Codes
Nossenson Ronit 1999 Abstracts Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components
Arzi Lior 1999 Eliezer Kantorowitz (Deceased) Abstracts Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document
Gertelman Michael 1999 Eliezer Kantorowitz (Deceased) Abstracts Automatic User Interface Generation from a Given Domain Model
Estrin Arkady 1999 Abstracts A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions
Orni Avigail 1999 Abstracts Measuring the Locality of Space-Filling Curves
Koyfman Anatoly 1999 Abstracts Facilitating Generation of Help Systems
Rawitz Dror 1999 Abstracts Combinatorial and LP-based Methods for Designing Approximation Algorithms
Touma Costa 1999 Reuven Bar-Yehuda, Chaim Craig Gotsman, Abstracts Triangle Mesh Compression
Miroshnik Yuri 1999 Abstracts Skew-Tolerant Clocking Techniques
Soldea Octavian 1999 Abstracts Algorithms on Continued Fractions
Gorbach Alla 1999 Abstracts Computing in Anonymous Asynchronous Shared Memory
Frenkel Oleg 1999 Abstracts Multicast Group Synchronization in Atm
Tal Arie 1999 Michael Kaminski Abstracts Decidability of Inclusion for Unification Based Automata
Rubin Shai 1999 Abstracts Using Virtual Cache Lines for Higher Data Cache Performance
Shalev Lea 1999 Abstracts Load Sharing in Distributed Shared Memory Systems
Rosenstein Dan 1999 Abstracts Feature Generation Using General Constructor Functions
Ravid Alon 1999 Abstracts A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains
Or Sharon 1999 Abstracts Encapsulating Real-Time in Failure Detectors
Raviv Alon 1999 Gershon Elber Abstracts Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions
Makbily Yohai 1999 Reuven Bar-Yehuda, Chaim Craig Gotsman, Abstracts Message Filtering for Geometric Distributed Virtual Environments
Yatzkar Tali 1998 Ami Litman Abstracts Lower Bound on the Bisection Width of the Butterfly Network
Gringauze Anna 1998 Yuval Rabani, Shay Ben David, Abstracts The Complexity of Propositional Proofs
Bianu-Minei Inna 1998 Reuven Cohen Abstracts Increasing the Performance of Tcp Over a Unidirectional Geostationary Satellite Channel
Reisman Amit 1998 Chaim Craig Gotsman, Assaf Schuster, Abstracts Animation Using Parallel Progressive Ray-Tracing
Hornreich Harry 1998 Daniel Berry Abstracts A Case Study of Software Reengineering
Rabinovich Boris 1998 Chaim Craig Gotsman Abstracts Visualization of Large Terrains in Resource-Limited Computing Environments
Freund Ari 1998 Joseph Naor Abstracts On-Line Assignment with Load Balancing
Dagan Eyal 1998 Hagit Attiya Abstracts Universal Operations: Unary Versus Binary
Feighelstein Marcelo 1998 Shmuel Zaks Abstracts Virtual Path Layouts for Atm Networks with Unbounded Stretch Factor
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
Skachek Vitaly 1998 Tuvi Etzion, Ronny Roth, Abstracts Coding for Spectral-Null Constraints
Snir Sagi 1998 Shlomo Moran Abstracts A Simple and Efficient Method for Network Decomposition And Synchronization
Kazinnik Roman 1997 Gershon Elber Abstracts Free-Form Surface Editing Using Multiresolution Decomposition
Voldman Leonid 1997 Joseph Gil Abstracts Using Smart Terminals to Effectively Enhance Commuication Throughput
Mador Ziv 1997 Ben-Zion Chor Abstracts The Probed Partial Digest Problem – Algorithms and Number Of Solutions
Shoikhet Kirill 1997 Dan Geiger Abstracts Optimal Triangulations Via Mininal Separators
Shpilberg Fanny Faina 1997 Daniel Berry Abstracts Wd-Pic, a Wysiwyg Direct-Manipulation Pic
Holstein Beery 1997 Joseph Gil Abstracts T++ : Test Case Generator Using Code Abstraction
Aharoni Ehud 1997 Reuven Cohen Abstracts Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks
Drory Tal 1997 Opher Etzion Abstracts Consistency Maintenance by Self Stabilization in Active Temporal Databases
Talyansky Roman 1997 Tuvi Etzion, Ronny Roth, Abstracts Coding for Two-Dimensional Constraints
Zemlyak Boris 1997 Michael Lindenbaum, Alfred Bruckstein, Abstracts Direct Depth from Axial Camera Motion
Ishai Yuval 1997 Eyal Kushilevitz Abstracts Characterizing Perfect Privacy
Barta David 1996 Joseph Gil Abstracts A System for Document Reuse
Bashkansky Guy 1996 Uzi Ornan Abstracts Monolingual Translator Workstation
Hod Ofra 1996 Tuvi Etzion, Ronny Roth, Abstracts Constructions for Error-Correcting Codes and Covering Codes
Givaty Galia 1996 Eyal Kushilevitz Abstracts Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries
Moss Anna 1996 Michael Lindenbaum Abstracts Quantifying the Reliability of Feature-Based Object Recognition
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
Kliot Michael 1996 Ehud Rivlin, Alfred Bruckstein, Abstracts Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases
Dubrovsky Alexander 1996 Assaf Schuster Abstracts Load Balancing in Distributed Shared Memory System
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
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
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
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.
Eiron Nadav 1996 Shay Ben David Abstracts Variants of Mistake Bound Learning Algorithms
Goldin Maxim 1996 Assaf Schuster Abstracts Weak Consistency Distributed Shared Memory System Design
Evron Ilan 1996 Reuven Cohen Abstracts Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections
Becker Ann 1995 Dan Geiger Abstracts Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem
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
Kariv Michael 1995 Chaim Craig Gotsman Abstracts Model-Based Compression of Synthetic Animation Sequences
Kupershtok Ahron 1995 Shimon Even (Deceased) Abstracts The Hypercube – Features Generalizations and Embedding Sets Of Numbers in It
Tamir Boaz 1995 Joseph Naor Abstracts K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems
Paz Noam 1995 Oded Shmueli Abstracts Ursus: An Advanced Neural Network Environment
Rappoport Rinat 1995 Hagit Attiya Abstracts The Level of Handshake Required for Establishing Connection
Tamir Tamar 1995 Hagit Attiya Abstracts Local Labeling and Resource Allocation Using Preprocessing
Zavalkovsky Artur 1995 Eliezer Kantorowitz (Deceased) Abstracts Mys – An Object Oriented Database Management System in the Mach Operating System Environment
Hod Ronen 1995 Ronny Roth Abstracts Coding Methods for Imput Constraind Channels
Wasserkrug Segev 1995 Yoram Baram Abstracts Neural Network Design for Classification
Golland Polina 1995 Michael Lindenbaum, Alfred Bruckstein, Abstracts Use of Color for Optical Flow Estimation
Shirazi Asaf 1995 Amos Israel Abstracts Efficient Wait-Free Implementations of Atomic Snapshot Memories
Shavitt Nira 1995 Avi Mendelson, Abstracts Mapping Dynamic Parallel Programs Into Parallel Systems
Holtz Karen 1995 Eliezer Kantorowitz (Deceased) Abstracts Semrel – a Semantic Relationship Model for Object Oriented Databases
Ravve Elena 1995 Johann Makowsky Abstracts Model Cheking for Various Notions of Product
Notkin Irina 1995 Chaim Craig Gotsman Abstracts Parallel Adaptive Ray Tracing
Shemesh Galit 1994 Assaf Schuster Abstracts Upper & Lower Bounds in Reconfigurable Networks
Carmel David 1994 Shaul Markovitch Abstracts Learning Models of Strategy’s Strategy in Game Playing
Shaham Amnon 1994 Amos Israel Abstracts Implementation of Multi-Writer Multi-Reader Atomic Register
Brezner Oren 1994 Shay Ben David, Nissim Francez, Abstracts Expectation Semantucs for Modal Logic
Granot Gilad 1994 Shimon Even (Deceased) Abstracts Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
Berkovich Zvi 1994 Abstracts Sematic Debugging of Black Boxes
Roytman Evgeny 1994 Chaim Craig Gotsman Abstracts Dynamic Color Quantization of Animation Sequences
Zosin Leonid 1994 Ben-Zion Chor Abstracts Privacy of Symmetric Functions
Adir Allon 1994 Shmuel Katz, Nissim Francez, Abstracts Compiling Programs with Multiparty-Interactions and Teams
Abarbanel Yael 1994 Joseph Naor Abstracts Algorithms for Dynamic Graphs
Ben Ephraim Arie 1994 Dan Geiger Abstracts Pattern Recognition Using Similarity Networks
Lempel Oded 1994 Ami Litman Abstracts Dual Round Retiming
Gershon Benjamin 1994 Michael Yoeli (Deceased), Orna Grumberg, Abstracts Synthesis of Concurrent Systems
Ben-Dor Amir 1994 Ben-Zion Chor Abstracts On the Complexity of Computing the Permanent
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
Rosdeutscher Irit 1994 Shaul Markovitch Abstracts Systematic Experimentation with Macro-Learning
Lorenz David 1994 Shaul Markovitch Abstracts Learning in Games Using Symbolic Classification
Ben-David Shoham 1994 Shmuel Katz Abstracts Using Graphs to Represent Equivalence Classes of Parallel
Ben-Aroya Ishai 1994 Assaf Schuster Abstracts Bounds and Algorithms for Deflection Routing
Katz Baruch 1994 Michael Rodeh Abstracts Minimzing the Performance Degradation Due to Conditional
Brit Hagit 1994 Shlomo Moran Abstracts Public Data Structures and Public Counters as a Special Case
Jacovi Michal 1994 Shay Ben David Abstracts Learmnning in the Limit and Non-Uniform
Frances Mordechai 1994 Shay Ben David, Ami Litman, Abstracts Measuers of Complexity of Classes of Sets and Their
Fraiman Ronit 1993 Shay Ben David Abstracts Complexity of Learning by Distances
Marcus Shaul Silvian 1993 Shaul Markovitch Abstracts Estimation of Lexical Relations Using Word Similarities
Orenstein Tatiana 1993 Zvi Kohavi, Irith Pomeranz, Abstracts Using Partial Scan for Testing of Digital Sequential Circoir
Aizenbud Netta 1993 Shmuel Katz, Hagit Attiya, Abstracts Self-Stabilization of Fault-Tolerant Distributed Algorithms
Halevi Shai 1993 Assaf Schuster Abstracts Greedy Hot-Potato Routing
Brown Yishay 1993 Abstracts Common Sense Maps Generator
Finkelstein Lev 1993 Shaul Markovitch Abstracts Learning to Play by Acquiring Move-Patterns
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
Efrat Alon 1993 Alon Itai, Reuven Bar-Yehuda, Abstracts Dynamically Maintainhg the Ceter of a
Navony Nechama 1993 Shlomo Moran Abstracts A Verge and Randomized Complexity of Distributed Problems
Lubitch Ronit 1993 Shlomo Moran Abstracts Closed Schedvlers: Motivation Construction and Application
Munk Ophir 1993 Ilan Bar-on Abstracts A New Parallel Factorization A= Ddtbc for Band Symmetric
Amir Arnon 1993 Alfred Bruckstein Abstracts Depth from Structured Lisht and Axial Motion
Sella Yaron 1993 Shaul Markovitch Abstracts Learning of Resource Allocation Strategies for Game Playing
Kahan Ariel 1993 Oded Goldreich Abstracts Zero Knowledge Proofs with Constant Number of Iterations
Shintel Noam 1993 Michael Yoeli (Deceased) Abstracts Synthesis of Modular Delay-Insensitive Netwerks from Petri
Namolaru Mircea 1993 Abstracts Compilation Techniques for Distributed Constraint Languages
Ronel Ilan 1993 Abstracts Topolgy Design Capacity Allocation and Route Assignment
Sneh Dror 1992 Oded Goldreich Abstracts The Complexity of Global Computation in the Presence of
Canetti Ran 1992 Oded Goldreich Abstracts A Tradeoff Between Randomness and Commonication Complexity
Nelson Lee-Bath 1992 Ben-Zion Chor Abstracts Characterization of Distributed Interactive Tasks
Dvir Michal 1992 Shay Ben David Abstracts Incompleteness and the Theory of Computer Science
Michaeli-Aaroni Merav 1992 Ben-Zion Chor Abstracts A Generalization of Group Testing
Singer Yoram 1992 Dan Chazan Abstracts Non Parametric Methods for Speech Consonants Recognition
Aharonson Eran 1992 Hagit Attiya Abstracts The Structure of Counting Networks
Nativ Isaac 1992 Eliezer Kantorowitz (Deceased) Abstracts Consistent Database with Non-Serialized Queries
Barguri Yaniv 1992 Johann Makowsky Abstracts The Hierarchy of Transitive Closure
Petrank Erez 1992 Oded Goldreich Abstracts The Knowledge Complexity of Interactive Proofs
Rachman Ophir 1992 Ben-Zion Chor Abstracts Wait Free Randomized Consensus
Beimel Amos 1992 Ben-Zion Chor Abstracts Ideal Secret Sharing Schemes
Collin Ze’ev 1992 Shmuel Katz, Abstracts A Self Stabilizing Distributed Solution
Yadin Irit 1992 Shlomo Moran Abstracts The Distributet Counter Problem
Hasson Ruben 1992 Johann Makowsky Abstracts A Comparison of Data Models Forcomplex Objects
Peres Yardena 1992 Oded Shmueli Abstracts Implementation of the Grid File System
Pollak Avigdor 1992 Ehud Bar-on Abstracts From Neural Networks to Production Rvles and Back
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.
Srouji Johny 1991 Daniel Berry Abstracts Adaptaticn of the Unix Ditroff for Formatting Arabic Text
Wintner Shalom 1991 Uzi Ornan Abstracts Syntactic Analysis of Hebrew Sentences
Grinwald Raanan 1991 Reuven Bar-Yehuda Abstracts Merging Polygons with Holes
Adar Michel 1991 Ehud Bar-on Abstracts An Interactive Graphical Development System for Orject
Rinoenau Yael 1991 Shlomo Moran, Amos Israel, Abstracts An Efficient Algorithm for Maximum Dyramis Flow Problem
Solel Nir 1991 Abstracts Efficient Algorithms for Disjoint Paths Steiner Tree
Amir Yair 1991 Abstracts Customer Scheguling Under Qveueing and Delay Constraints
De-Lion Hana 1991 Orna Grumberg Abstracts Real Time Temporal Logics
Even Guy 1991 Oded Goldreich Abstracts Construction of Small Probability Spaces
Dichterman Eli 1991 Shay Ben David Abstracts Derandomizing Online Algorithms
Pinhasov Meir 1991 Amos Israel Abstracts A Linear-Time Bounded Concurrent Time-Stamp Scheme
Sharon Miriam 1991 Alon Itai Abstracts Learning Automata
Shurek Gil 1991 Orna Grumberg Abstracts Modular Computer Aided Verification of Concurrent Systems
Marelly Rami 1991 Orna Grumberg Abstracts Automatic Verifier of Distributed Algorithms
Resnik Ron 1991 Moshe Israeli (Deceased), Marius Ungarish, Abstracts Nuerical Analysis of Two-Phase Rotating Flow
Helman Anat 1991 Moshe Israeli (Deceased), Marius Ungarish, Abstracts Parallel Solution of An Elliptic Eguation in Twd Dimentidns
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
Calo Ariel 1990 Johann Makowsky Abstracts The Expressive Power of the Transitive Closure
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
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
Jalfon Marc Elie 1990 Amos Israel Abstracts Self Stabilizing Random Algorithms on Distributed Uniform Sy
Shtapler Zeiev 1990 Orna Grumberg Abstracts Automatic Verification of Distributed Algorithms
Ben-Chanoch Eyal 1990 Reuven Bar-Yehuda Abstracts Covering Polygons with Squares
Goldstein Lyor 1990 Uzi Ornan Abstracts Generation and Analysis of the Possession Inflexion of
Cohen Doron 1990 Tuvi Etzion Abstracts Combinatorical Designs Derived from Constant Weight Godes
Lempel Mordkhai 1990 Azaria Paz Abstracts Modular Lattices – An Algorithmic Approach
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
Yanai Shimon 1990 Daniel Berry Abstracts Environment for Translating “Metafont”to”Postscrcpt”
Bezalel Iris 1990 Michael Yoeli (Deceased) Abstracts Structured Design of Delay-Insensitive Controllers
Geva Robert 1990 Azaria Paz Abstracts Representation of Irrelevance Relations by Graphs
Neeman Yuval 1990 Nissim Francez Abstracts Domain Archetype – a Eeasiblit Y Study
Bittan Sara 1990 Shmuel Zaks Abstracts Linear Broadcast Routing
Shani Netta 1990 Ben-Zion Chor Abstracts On the Privocy Gdp in Dense Symmetric Functions
Amit Erela 1990 Ehud Bar-on Abstracts Machine Learning Algorithm for Diagnosing Misconceptions
Moscovici Lior 1990 Ben-Zion Chor Abstracts Implementing Distributed Tasks in Presence of Failures
Sharon Oran 1990 Adrian Segall Abstracts Session Management and Organization in Broadcast Networks
Yona Gidon 1990 Amos Israel, Shay Ben David, Abstracts Verification of Protocols Fur Sharfd Registers Systems by G
Dolev Shlomo 1990 Amos Israel, Shlomo Moran, Abstracts Self Stabilization of Dynamic Systems Assuming Only Read/
Erez Ruthi 1990 Daniel Berry Abstracts An Interactive Iaterpretes Withgraphic Display of Program
Rahat Amir 1989 Oded Shmueli Abstracts Logic Programming in a Distributed Euvironment
Leyzerovitch Esther 1989 Orna Grumberg Abstracts Impiementing Superimpositions for Occam
Fournier Laurent 1989 Abstracts Performance Evalualion of Priorilized Token Sing Local
Sananes Moises 1989 Eliezer Kantorowitz (Deceased) Abstracts Dros a Distributed Replicated Data Systam
Sideman Gil 1989 Abstracts Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
Hurvitz Oren 1989 Alon Itai Abstracts Janus Automata as a Model for the Intelligent Scan Problem
Koren Tziporet 1989 Oded Goldreich Abstracts On the Construction of Pseudo Random Block Ciphers
Hausman Ehud 1989 Eliezer Kantorowitz (Deceased), Alon Itai, Abstracts Erd Raseb Natural Qvery Langvage
Goldfeld David 1989 Tuvi Etzion Abstracts Eguivalence of Interconnection Netnorus
Rafaeli Raz 1989 Shay Ben David Abstracts Global Time in Distributed Systems
Shemesh Yael 1989 Nissim Francez Abstracts Relation Recognizing Automatta
Lavie Alon 1989 Uzi Ornan, Alon Itai, Abstracts Two Level Morphology for Hebrew
Kushilevitz Eyal 1989 Oded Goldreich Abstracts Perfect Zero-Knowledge Proofs
Nathan Abraham 1989 Ran Ginosar Abstracts Compilation of Fcp to Carmel and Its Performance Analysis
Allon Gil 1989 Daniel Berry Abstracts Towauosabi Divectional Operating System
Ostfeld Zvi 1989 Abstracts Des Trees Construction:characterizations and Sequential and
Lesser Ofrit 1989 Raphael Rom Abstracts Routing by Controlled Flooding
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
Cohen-Rabinovici Simona 1989 Abstracts Parallelization Strategies in Knowledge Bases
Kariv Itay 1989 Abstracts Hierarchical Symbolic Indices in General Purpose
Wolfman Tony 1989 Daniel Berry Abstracts “”Flo” a Language for Typesetting Flowcharts
Habusha Uri 1989 Daniel Berry Abstracts Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
Becker Zeev 1988 Daniel Berry Abstracts An Adaptation of the Unix Ditroff for Rormatting Tri-Directi
Abu-Hanna Ameen 1988 Abstracts An Integrated Deep-Shallow Expert System for Multi-Leuel
Fischer Daniel 1988 Shlomit Pinter Abstracts Maintenance of Unreliable Distributed Systems
Reicher Iris 1988 Michael Yoeli (Deceased) Abstracts Verification and Synthesis of Asynchronous Circuits