4192 search results - page 410 / 839 » Probabilistic Logic Programming |
129
Voted
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
247
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
We present the design and implementation of a Minesweeper game, augmented with a digital assistant. The assistant uses contraint programming techniques to help the player, and is a...
135
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
130
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
162
Voted
PADO
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...