183 search results - page 14 / 37 » aaai 2004 |
AAAI
2004
14 years 11 months ago
2004
Pervasive computing aims to build an aggregated environment around a user by knitting diverse computing and communicating devices and software services into a single homogeneous u...
AAAI
2004
14 years 11 months ago
2004
The Coalition Search and Rescue Task Support demonstration shows cooperative agents supporting a highly dynamic mission in which AI task planning, inter-agent collaboration, workf...
84
Voted
AAAI
2004
14 years 11 months ago
2004
This paper describes requirements for synthetic adversaries for urban combat training and MOUTBots, a prototype application. The MOUTBots use a commercial computer game to define,...
AAAI
2004
14 years 11 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
AAAI
2004
14 years 11 months ago
2004
Repetition is an important phenomenon in a variety of domains, such as music, computer programs and architectural drawings. A generative model for these domains should account for...