| 11250616 |
View-dependent carving of reconstructed data from segmentation masks |
Adam Kaplan, Yuval Hovers, Ben Raziel |
2022-02-15 |
| 10819968 |
Neural network based patch blending for immersive video |
Ben Raziel, Asaf Shiloni, Gilad Bauman, Jill MacDonald Boyce, Tzach Ashkenazi +1 more |
2020-10-27 |
| 8949766 |
Detecting corresponding paths in combinationally equivalent circuit designs |
Oshri Adler, Eli Arbel |
2015-02-03 |
| 7188061 |
Simulation monitors based on temporal formulas |
Sharon Keidar |
2007-03-06 |
| 7146605 |
Automatic abstraction of software source |
Cindy Eisner |
2006-12-05 |
| 6715107 |
Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest |
Dana Fisman, Leonid Gluhovsky, Tali Yatzhar-Haham |
2004-03-30 |
| 6691078 |
Target design model behavior explorer |
Eli Dichterman, Leonid Gluhovsky, Anna Gringauze, Yossi Malka, Yaron Wolfsthal +1 more |
2004-02-10 |
| 6192505 |
Method and system for reducing state space variables prior to symbolic model checking |
Cindy Eisner, Yoav Rodeh |
2001-02-20 |
