1054 search results - page 111 / 211 » A Formalization of the Turing Test |
160
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
158
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This paper points out that many machine learning problems in IR should be and can be formalized in a novel way, referred to as `group-based learning'. In group-based learning...
187
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...
132
click to vote
JLP
2010
15 years 1 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
204
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...