318 search results - page 22 / 64 » An Experimental Ambiguity Detection Tool |
ISW
2009
Springer
14 years 5 months ago
2009
Springer
Various online studies on the prevalence of spyware attest overwhelming numbers (up to 80%) of infected home computers. However, the term spyware is ambiguous and can refer to anyt...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper examines whether machine learning and image analysis tools can be used to assist art experts in the authentication of unknown or disputed paintings. Recent work on this...
CAV
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The Generalized State Coherence Transform (GSCT) has been recently proposed as an efficient tool for the estimation of multidimensional TDOA of multiple sources. The transform de...