2419 search results - page 463 / 484 » A Formal Approach to Software Testing |
188
click to vote
DOCENG
2006
ACM
16 years 12 days ago
2006
ACM
In the recent years, we have witnessed a dramatic increment in the volume of spam email. Other related forms of spam are increasingly revealing as a problem of importance, special...
179
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
195
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
183
Voted
CHI
1995
ACM
15 years 10 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
190
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...