2111 search results - page 370 / 423 » An Approach to Software Testing of Machine Learning Applicat... |
153
click to vote
SACMAT
2010
ACM
15 years 7 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
122
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
178
click to vote
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
In recent years, with the rapid proliferation of digital images, the need to search and retrieve the images accurately, efficiently, and conveniently is becoming more acute. Automa...
119
click to vote
SIGIR
2005
ACM
15 years 8 months ago
2005
ACM
We describe a method for improving the precision of metasearch results based upon scoring the visual features of documents' surrogate representations. These surrogate scores ...
127
click to vote
BMCBI
2005
15 years 2 months ago
2005
In task 1A of the BioCreAtIvE evaluation, systems had to be devised that recognize words and phrases forming gene or protein names in natural language sentences. We approach this ...