3446 search results - page 8 / 690 » A Reasoning Algorithm for pD* |
IJIS
2008
14 years 11 months ago
2008
Linear-time computational techniques have been developed for combining evidence which is available on a number of contending hypotheses. They offer a means of making the computati...
TALG
2010
14 years 10 months ago
2010
We describe an automata-theoretic approach for the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in...
AAAI
2008
15 years 2 months ago
2008
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
ATAL
2008
Springer
15 years 1 months ago
2008
Springer