11160 search results - page 2065 / 2232 » Incompleteness in a General Setting |
168
click to vote
IWCMC
2010
ACM
15 years 9 months ago
2010
ACM
The first step required by the process of cognition is the intelligent observation of the environment that surrounds the actors of such a process. We present the CalRAdio-Based a...
139
click to vote
JCDL
2010
ACM
15 years 9 months ago
2010
ACM
The“wisdom of crowds”is accomplishing tasks that are cumbersome for individuals yet cannot be fully automated by means of specialized computer algorithms. One such task is the...
168
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
136
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
153
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...