183 search results - page 14 / 37 » aaai 2004 |
105
click to vote
AAAI
2004
15 years 1 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
15 years 1 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...
AAAI
2004
15 years 1 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
15 years 1 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
15 years 1 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...