1072 search results - page 62 / 215 » Knowledge and information distribution leveraged by intellig... |
157
click to vote
AAAI
2000
15 years 7 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
138
click to vote
AAAI
2010
15 years 7 months ago
2010
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
190
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We investigate the application of a low-cost, pervasively distributed network to plan paths for mobile robots in environments with dynamic obstacles. We consider a heterogeneous s...
173
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
PAC-MDP algorithms approach the exploration-exploitation problem of reinforcement learning agents in an effective way which guarantees that with high probability, the algorithm pe...
154
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract: While the problem of incompletedata in databases has been extensively studied, a relatively unexplored form of uncertainty in databases, called inaccurate data, demands d...