2007 CS Technical Reports

• CS-2007-01 Leonid Raskin, Ehud Rivlin, Michael Rudzsky: 3D HUMAN TRACKING WITH GAUSSIAN PROCESS ANNEALED PARTICLE FILTER
• CS-2007-02 Reuven Cohen Liran Katzir: Computational Analysis and Efficient Algorithms for Micro and Macro OFDMA Scheduling
• CS-2007-03 Fanica Gavril: Algorithms on interval filament graphs
• CS-2007-04 Michael Kaminski and Michael Tiomkin: Non-monotonic modal logic of belief
• CS-2007-05 Fanica Gavril: Minimum feedback vertex sets in circle graphs
• CS-2007-06 Ilan Gronau and Shlomo Moran: Optimal Implementations of UPGMA and Other Common Clustering Algorithms
• CS-2007-07 Roy Friedman, Ari Shotland, and Gwendal Simon: Efficient Route Discovery in Hybrid Networks
• CS-2007-08 Orna Grumberg, Assaf Schuster and Avi Yadgar: Hybrid BDD and All-SAT Method for Model Chcking and Other Applications
• CS-2007-09 Avram Sidi: Survey of Vector Extrapolation Methods with Applications to Solution of Large Systems of Equations and to PageRank Computations
• CS-2007-10 Eli Biham, Orr Dunkelman: Differential Cryptanalysis of Stream Ciphers
• CS-2007-11 Reuven Cohen and Alexander Landau: A Probabilistic Approach for Estimating the Number of Bad Receivers in a Multicast Group with Application to Hybrid FEC/ARQ-based Reliable Wireless Multicast
• CS-2007-12 Reuven Cohen and Gabi Nakibly: Maximizing Restorable Throughput in MPLS Networks
• CS-2007-13 Fanica Gavril and Alon Itai: Covering a Tree by a Forest
• CS-2007-14 Mordechai Shalom, Prudence W.H. Wong and Shmuel Zaks: Optimal on-line colorings for minimizing the number of ADMs in optical networks
• CS-2007-15 Eli Biham, Orr Dunkelman: A Framework for Iterative Hash Functions --- HAIFA
• CS-2007-16 Tamir Levy and Ami Litman: ON MERGING NETWORKS
• CS-2007-17 Tamir Levi and Ami Litman: The strongest model of computation obeying 0-1 Principles
• CS-2007-18 Reuven Cohen and Anna Levin: To Drop or Not to Drop: On the Impact of Handovers on TCP Performance