447 search results - page 65 / 90 » New Metrics for Evaluation of Collision Detection Techniques |
121
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
165
click to vote
JODL
2006
15 years 1 months ago
2006
Recent advances in technology have made tremendous amount of multimedia information available to the general population. An efficient way of dealing with this new development is t...
111
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
178
click to vote
CIVR
2007
Springer
15 years 5 months ago
2007
Springer
Semantic detection and recognition of objects and events contained in a video stream has to be performed in order to provide content-based annotation and retrieval of videos. This...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In an earlier work, we proposed a novel phonetic segmentation method based on speech analysis under the Microcanonical Multiscale Formalism (MMF). The latter relies on the computa...