279 search results - page 35 / 56 » Testing for Refinement in CSP |
122
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper describes a novel approach to automatically recover corresponding feature points and epipolar geometry over two wide baseline frames. Our contributions consist of sever...
159
Voted
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
139
click to vote
ISMIR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
158
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
140
Voted
CLEAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents evaluation results of a method for tracking speakers in seminars from multiple cameras. First, 2D human tracking and detection is done for each view. ...