1054 search results - page 90 / 211 » A Formalization of the Turing Test |
136
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
132
click to vote
COMPSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
142
click to vote
TVCG
2012
13 years 7 months ago
2012
— Scientists conducting microarray and other experiments use circular Venn and Euler diagrams to analyze and illustrate their results. As one solution to this problem, this artic...
123
click to vote
SOUPS
2009
ACM
15 years 11 months ago
2009
ACM
We present a technique for using content-based video labeling as a CAPTCHA task. Our CAPTCHAs are generated from YouTube videos, which contain labels (tags) supplied by the person...
135
click to vote
CHI
2005
ACM
15 years 6 months ago
2005
ACM
HIPs, or Human Interactive Proofs, are challenges meant to be easily solved by humans, while remaining too hard to be economically solved by computers. HIPs are increasingly used ...