2478 search results - page 126 / 496 » Quadtrees as an Abstract Domain |
PROMAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present an approach to coordinate the behavior of a multiagent team using an HTN planning procedure. To coordinate teams, high level tasks have to be broken down into ...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
AWCC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...
CP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...
ICFCA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...