1054 search results - page 33 / 211 » A Formalization of the Turing Test |
100
click to vote
ICCCI
2009
Springer
15 years 8 months ago
2009
Springer
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
108
click to vote
EURODAC
1995
IEEE
15 years 5 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...
110
click to vote
AAECC
2006
Springer
15 years 2 months ago
2006
Springer
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
131
click to vote
ENTCS
2008
15 years 2 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
123
click to vote
CSIE
2009
IEEE
15 years 3 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...