7167 search results - page 396 / 1434 » Answer Set Programming |
173
click to vote
ICSM
2006
IEEE
16 years 25 days ago
2006
IEEE
Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one’s perception of risk is the key to relat...
141
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
150
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
161
click to vote
LPNMR
2005
Springer
16 years 9 days ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
183
click to vote
LCPC
2004
Springer
16 years 5 days ago
2004
Springer
Previous work shows the possibility of predicting the cache miss rate (CMR) for all inputs of a program. However, most optimization techniques need to know more than the miss rate ...