1054 search results - page 194 / 211 » A Formalization of the Turing Test |
116
click to vote
WWW
2009
ACM
16 years 15 days ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...
CAV
2009
Springer
16 years 11 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
108
click to vote
KDD
2009
ACM
16 years 11 days ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
CHI
2006
ACM
16 years 7 days ago
2006
ACM
The size of human fingers and the lack of sensing precision can make precise touch screen interactions difficult. We present a set of five techniques, called Dual Finger Selection...
193
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...