Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
A framework is proposed for synchronization in feature-based data embedding systems that is tolerant of errors in estimated features. The method combines feature-based embedding wi...
Abstract— The convergence of the wireline telecom, wireless telecom, and internet networks and the services they provide offers tremendous opportunities in services personalizati...
Robert Dinoff, Tin Kam Ho, Richard Hull, Bharat Ku...
We propose a novel probabilistic framework for learning
visual models of 3D object categories by combining appearance
information and geometric constraints. Objects are
represen...
We propose a novel framework for contour based object
detection and recognition, which we formulate as a joint
contour fragment grouping and labeling problem. For a
given set of...
ChengEn Lu, Longin Jan Latecki, Nagesh Adluru, Hai...