5964 search results - page 309 / 1193 » A theory of speculative computation |
198
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
219
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
185
Voted
AAAI
2007
15 years 9 months ago
2007
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...
191
Voted
AIPS
1994
15 years 8 months ago
1994
This paper presents an AI model of integrated planning and reaction based on neuropsychological theories of similar human behavior. The model forges a link between frontal lobe mo...
171
Voted
AMAI
2002
Springer
15 years 7 months ago
2002
Springer
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...