1054 search results - page 115 / 211 » A Formalization of the Turing Test |
170
click to vote
ENTCS
2002
15 years 6 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
156
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
196
click to vote
ML
2007
ACM
15 years 5 months ago
2007
ACM
We offer a new formal criterion for agent-centric learning in multi-agent systems, that is, learning that maximizes one’s rewards in the presence of other agents who might also...
176
click to vote
UTP
2010
15 years 4 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
289
click to vote
Book
""The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mat...