2451 search results - page 86 / 491 » The Octagon Abstract Domain |
155
click to vote
WOLLIC
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
144
click to vote
ICCBR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This paper presents extensions and improvements of previous work, where we defined a CBR system for action selection in the robot soccer domain. We show empirical result...
187
click to vote
FAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We study a constrained version of the shortest path problem in polygonal domains, in which the path must visit a given target polygon. We provide an efficient algorithm f...
198
click to vote
IMCSIT
2010
15 years 3 months ago
2010
Abstract--This paper introduces and comprehensively evaluates a new approach for classification of image regions. It is based on the so called wavelet standard deviation descriptor...
156
click to vote
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...