1087 search results - page 144 / 218 » Achieving Distributed Control through Model Checking |
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
CAD
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
DAGSTUHL
2010
13 years 10 months ago
2010
This article is intended as an update of the major survey by Max [40] on optical models for direct volume rendering. It provides a brief overview of the subject scope covered by [...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This demonstration shows an agent-based model for the electricity power market, in which the optimal power flow is determined in a bottom-up fashion. Here, each agent controls a s...