2478 search results - page 94 / 496 » Quadtrees as an Abstract Domain |
CADE
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
ATAL
1998
Springer
14 years 10 days ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
SEAL
1998
Springer
14 years 9 days ago
1998
Springer
Abstract. Robustness has long been recognised as a critical issue for coevolutionary learning. It has been achieved in a number of cases, though usually in domains which involve so...
CAISE
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Ontologies are shared conceptualizations of a certain domain. As such domains may change, also changes in the ontologies have to be considered, as otherwise there is no w...
CIA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In dynamic applications characterised by a variety of alternative services with the same functionality but heterogeneous results, agents requesting services must find an ...