Sciweavers

15614 search results - page 410 / 3123
» The State of State
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Modelling the links between social commitments and individual intentions
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
Philippe Pasquier, Brahim Chaib-draa
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 7 months ago
Persistent Queries
act state machines. (To make that discussion self-contained, we include a summary of this material before the modifications.) Fortunately, only rather minor modifications are neede...
Andreas Blass, Yuri Gurevich
WSC
2007
15 years 9 months ago
Using multi-criteria modeling and simulation to achieve lean goals
Lean principles require the identification of an ideal system state along with an associated policy to achieve that state. This paper discusses the use of multi-criteria models in...
Gerald W. Evans, Suraj M. Alexander
TC
2002
15 years 6 months ago
Reduced Length Checking Sequences
-- Here the method proposed in [13] for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations of t...
Robert M. Hierons, Hasan Ural
ORL
2008
68views more  ORL 2008»
15 years 6 months ago
On polynomial cases of the unichain classification problem for Markov Decision Processes
The unichain classification problem detects whether a finite state and action MDP is unichain under all deterministic policies. This problem is NP-hard [11]. This paper provides p...
Eugene A. Feinberg, Fenghsu Yang