1812 search results - page 303 / 363 » Test Early, Test Often |
178
click to vote
CADE
2011
Springer
13 years 9 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
SDM
2012
SIAM
13 years 6 days ago
2012
SIAM
Monitoring animals by the sounds they produce is an important and challenging task, whether the application is outdoors in a natural habitat, or in the controlled environment of a...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The notion of using context information for solving highlevel vision problems has been increasingly realized in the field. However, how to learn an effective and efficient context...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We address the problem of tracking and recognizing faces in real-world, noisy videos. We track faces using a tracker that adaptively builds a target model reflecting changes in ap...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Many computer vision tasks may be expressed as the problem of learning a mapping between image space and a parameter space. For example, in human body pose estimation, recent rese...