1179 search results - page 88 / 236 » Should Superclasses be Abstract |
ESAW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
EWCBR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
FQAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. When querying XML collections, users cannot always express their need in a precise way. Systems should therefore support vagueness at both the content and structural leve...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
PATAT
2000
Springer
13 years 11 months ago
2000
Springer
The concept of a hyperheuristic is introduced as an approach rates at a higher lever of abstraction than current metaheuristic approaches. The hyperheuristic manages the choice of ...