22018 search results - page 4153 / 4404 » or 2004 |
165
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Recent work has shown the promise in using local-search “probes” as a basis for directing a backtracking-based refinement search. In this approach, the decision about the next...
138
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
190
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
170
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
184
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...