2448 search results - page 221 / 490 » The Octahedron Abstract Domain |
GCSE
2000
Springer
15 years 3 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
GD
2000
Springer
15 years 3 months ago
2000
Springer
The merit of automatic graph layout algorithms is typically judged on their computational efficiency and the extent to which they conform to aesthetic criteria (for example, minimi...
94
Voted
LCPC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
102
Voted
ROBOCUP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper describes adaptive path planning, a novel approach to path planning for car-like mobile robots. Instead of creating a new plan from scratch, whenever changes i...
AIPS
2008
15 years 2 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...