| 11132416 |
Business change detection from street level imagery |
Martin Christian Stumpe, Liron Yatziv, Dar-Shyang Lee, Qian Yu, Vinay Damodar Shet +1 more |
2021-09-28 |
| 10339193 |
Business change detection from street level imagery |
Martin Christian Stumpe, Liron Yatziv, Dar-Shyang Lee, Qian Yu, Vinay Damodar Shet +1 more |
2019-07-02 |
| 9646252 |
Template clauses based SAT techniques |
Ohad Shacham |
2017-05-09 |
| 8954094 |
Mobile device functions based on transportation mode transitions |
Arunesh Mishra |
2015-02-10 |
| 8407175 |
Method, apparatus and product for SAT solving using templates clauses |
Ohad Shacham |
2013-03-26 |
| 8397192 |
Proof based bounded model checking |
Alexander Ivrii, Tatyana Veksler |
2013-03-12 |
| 8201116 |
Proof based bounded model checking |
Alexander Ivrii, Tatyana Veksler |
2012-06-12 |
| 8165350 |
Assessment of a view through the overlay of maps |
Dan Pelleg |
2012-04-24 |
| 8161433 |
Utilizing an unSAT proof for model checking |
Shlomo Hoory, Ohad Shacham |
2012-04-17 |
| 7882443 |
Method for improving queue experience in a three-dimensional virtual environment |
Dan Pelleg |
2011-02-01 |
| 7565293 |
Seamless hybrid computer human call service |
Ron Hoory, Dan Pelleg |
2009-07-21 |
| 7562325 |
Device to cluster Boolean functions for clock gating |
Eli Arbel, Cynthia Rae Eisner, Alexander Itskovich, David J. Levitt |
2009-07-14 |
| 7519931 |
Applying CNF simplification techniques for SAT-based abstraction refinement |
Ohad Shacham, Omer Bar-Ilan |
2009-04-14 |
| 7458050 |
Methods to cluster boolean functions for clock gating |
Eli Arbel, Cynthia Rae Eisner, Alexander Itskovich, David J. Levitt |
2008-11-25 |
| 7441216 |
Applying CNF simplification techniques for SAT-based abstraction refinement |
Ohad Shacham, Omer Bar-Ilan |
2008-10-21 |
