1087 search results - page 144 / 218 » Achieving Distributed Control through Model Checking |
101
Voted
SAC
2004
ACM
15 years 7 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...
118
click to vote
CAD
2006
Springer
15 years 2 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...
144
click to vote
DAGSTUHL
2010
15 years 3 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 [...
125
Voted
IPPS
2008
IEEE
15 years 8 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
15 years 4 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...