1054 search results - page 203 / 211 » A Formalization of the Turing Test |
103
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
129
click to vote
DAC
2010
ACM
15 years 3 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
108
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
COLT
2008
Springer
15 years 1 months ago
2008
Springer
In the multi-view learning paradigm, the input variable is partitioned into two different views X1 and X2 and there is a target variable Y of interest. The underlying assumption i...
DIAGRAMS
2008
Springer
15 years 1 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...