Eli Arbel  Eli Arbel photo         

contact information

Manager, Formal Verification Technologies
Haifa Research Lab, Haifa, Israel



Shadow Removal Using Intensity Surfaces and Texture Anchor Points
E Arbel, H Hel-Or
IEEE Transactions on Pattern Analysis and Machine Intelligence, Published by the IEEE Computer Society, 2010


SAT-based synthesis of clock gating functions using 3-valued abstraction
Eli Arbel, Oleg Rokhlenko, Karen Yorav
FMCAD, pp. 198-204, 2009

Resurrecting infeasible clock-gating functions
Eli Arbel, Cindy Eisner, Oleg Rokhlenko
DAC '09: Proceedings of the 46th Annual Design Automation Conference, pp. 160--165, ACM, 2009


Texture-preserving shadow removal in color images containing curved surfaces
E Arbel, H Hel-Or
2007 IEEE Conference on Computer Vision and Pattern Recognition, pp. 1--8