Sciweavers

4163 search results - page 433 / 833
» A comprehensive combination framework
Sort
View
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 10 months ago
Yasm: A Software Model-Checker for Verification and Refutation
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?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
TIFS
2008
102views more  TIFS 2008»
15 years 6 months ago
Insertion, Deletion Codes With Feature-Based Embedding: A New Paradigm for Watermark Synchronization With Applications to Speech
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...
David J. Coumou, Gaurav Sharma
JCP
2007
105views more  JCP 2007»
15 years 6 months ago
Intuitive Network Applications: Learning for Personalized Converged Services Involving Social Networks
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...
CVPR
2009
IEEE
17 years 1 months ago
A Multi-View Probabilistic Model for 3D Object Classes
We propose a novel probabilistic framework for learning visual models of 3D object categories by combining appearance information and geometric constraints. Objects are represen...
Fei-Fei Li 0002, Hao Su, Min Sun, Silvio Savarese
ICCV
2009
IEEE
16 years 11 months ago
Shape Guided Contour Grouping with Particle Filters
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...