608 search results - page 70 / 122 » Tests, Proofs and Refinements |
ISMIR
2001
Springer
14 years 7 days 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...
ICSE
1999
IEEE-ACM
14 years 2 days 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 ...
CLEAR
2006
Springer
13 years 11 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. ...
FLAIRS
2004
13 years 9 months ago
2004
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
MR
2007
13 years 7 months ago
2007
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...