1054 search results - page 116 / 211 » A Formalization of the Turing Test |
309
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 Mathemati...
154
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradig...
149
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
161
click to vote
MMSEC
2006
ACM
16 years 10 days ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
142
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...