2451 search results - page 145 / 491 » The Octagon Abstract Domain |
188
click to vote
ECML
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
148
Voted
ERCIMDL
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. The works of a significant author are accompanied by a variety of artifacts ranging from the scholarly to the popular. In order to better support the needs of the scholar...
185
click to vote
OTM
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...
159
click to vote
PROMAS
2005
Springer
16 years 14 days 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 ...
159
Voted
VSTTE
2005
Springer
16 years 14 days 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....