Sciweavers

53 search results - page 5 / 11
» Have We Witnessed a Real-Life Turing Test
Sort
View
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
14 years 1 months ago
Agent-based Human-computer-interaction for Real-time Monitoring Systems in the Trucking Industry
Auto ID systems can replace time-consuming, costly and error-prone processes of human data entry and produce detailed real time information. However, they will add value only to t...
Elfriede Krauth, Jos van Hillegersberg, Steef L. v...
ICST
2010
IEEE
13 years 6 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
ICTAI
2007
IEEE
14 years 1 months ago
Establishing Logical Rules from Empirical Data
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
John L. Pfaltz
AAAI
1997
13 years 8 months ago
The Historical Development of Computer Chess and its Impact on Artificial Intelligence
In this paper we review the historical developmentof computerchess and discuss its impactonthe conceptof intelligence. Withthe adventof electronic computersafter the Second WorldW...
David Heath, Derek Allum
CVPR
2004
IEEE
14 years 9 months ago
Distortion Estimation Techniques in Solving Visual CAPTCHAs
Abstract-- This paper describes two distortion estimation techniques for object recognition that solve EZ-Gimpy and Gimpy-r, two of the visual CAPTCHAs ("Completely Automated ...
Gabriel Moy, Nathan Jones, Curt Harkless, Randall ...