Michael Lifshits

According to our database, Michael Lifshits authored at least 5 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

SAT-based semiformal verification of hardware.

Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2006

Visual Positioning of Previously Defined ROIs on Microscopic Slides.

Grigory Begelman, Michael Lifshits, Ehud Rivlin

IEEE Trans. Inf. Technol. Biomed., 2006

2004

Rehashing for Bayesian Geometric Hashing.

Michael Lifshits, Ilya Blayvas, Roman Goldenberg, Ehud Rivlin, Michael Rudzsky

Proceedings of the 17th International Conference on Pattern Recognition, 2004

Using Pattern Recognition for Self-Localization in Semiconductor Manufacturing Systems.

Michael Lifshits, Roman Goldenberg, Ehud Rivlin, Michael Rudzsky

Proceedings of the Pattern Recognition, 26th DAGM Symposium, August 30, 2004

Map-Based Microscope Positioning.

Grigory Begelman, Michael Lifshits, Ehud Rivlin

Proceedings of the British Machine Vision Conference, 2004