2478 search results - page 82 / 496 » Quadtrees as an Abstract Domain |
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
WOLLIC
2009
Springer
14 years 2 months 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 ...
ICCBR
2007
Springer
14 years 2 months 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...
FAW
2008
Springer
13 years 9 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...
IMCSIT
2010
13 years 5 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...