7335 search results - page 220 / 1467 » Scene Based Reasoning |
174
Voted
GIS
2007
ACM
16 years 4 months ago
2007
ACM
118
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
144
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
124
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
112
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...