1722 search results - page 219 / 345 » Generating Tests from Counterexamples |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel probabilistic framework for learning
visual models of 3D object categories by combining appearance
information and geometric constraints. Objects are
represen...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a novel classification approach for automatically detecting pulmonary embolism (PE) from computedtomography-angiography images. Unlike most existing approaches that req...
ICCV
2001
IEEE
14 years 11 months ago
2001
IEEE
This paper presents an algorithm that matches interest points detected on a pair of grey level images taken from arbitrary points of view. First matching hypotheses are generated ...
CSIE
2009
IEEE
14 years 3 months ago
2009
IEEE
This article investigates the effectiveness of community generated tags as social descriptors of resources uncoordinatedly annotated by community members. Our goal is to demonstra...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
During face-to-face conversation, the speaker’s head is continually in motion. These movements serve a variety of important communicative functions. Our goal is to develop a mod...