4595 search results - page 563 / 919 » Reasoning about Plans |
173
click to vote
AUSAI
2005
Springer
16 years 10 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
190
click to vote
PASTE
2004
ACM
16 years 9 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
161
click to vote
UIST
2004
ACM
16 years 9 days ago
2004
ACM
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...
173
click to vote
AOSE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
222
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...