1054 search results - page 24 / 211 » A Formalization of the Turing Test |
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
NC
2006
14 years 11 months ago
2006
Biochemical reactions taking place in living systems that map different inputs to specific outputs are intuitively recognized as performing information processing. Conventional wis...
DAC
1997
ACM
15 years 4 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
CAV
2007
Springer
15 years 6 months ago
2007
Springer