6800 search results - page 579 / 1360 » Testing with Functions as Specifications |
218
click to vote
CVPR
1999
IEEE
16 years 9 months ago
1999
IEEE
We consider a problem central in aerial visual surveillance applications { detection and tracking of small, independently moving objects in long and noisy video sequences. We dire...
228
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
The maximum flow algorithm for minimizing energy functions of binary variables has become a standard tool in computer vision. In many cases, unary costs of the energy depend linea...
158
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Myocardial deformation is a critical indicator of many cardiac diseases and dysfunctions. The goal of this paper is to use myocardial deformation patterns to identify and...
212
click to vote
KDD
2005
ACM
16 years 8 months ago
2005
ACM
This paper presents a novel approach for using clickthrough data to learn ranked retrieval functions for web search results. We observe that users searching the web often perform ...
215
click to vote
FASE
2010
Springer
16 years 2 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...