Eli Arbel  Eli Arbel photo       

contact information

Manager, Formal Verification Technologies
Haifa Research Lab, Haifa, Israel
  +972dash4dash829dash6515

links



2010

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


2009

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
Abstract


2007

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