2478 search results - page 346 / 496 » Quadtrees as an Abstract Domain |
196
click to vote
ROBOCUP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
155
click to vote
RR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
166
click to vote
SAFECOMP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
154
click to vote
SAS
2007
Springer
16 years 18 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
147
click to vote
SAT
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...