369 search results - page 55 / 74 » Canonical finite state machines for distributed systems |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Heterogeneous computing systems composed of interconnected machines with varied computational capabilities often operate in environments where there may be sudden machine failures...
ICML
2006
IEEE
14 years 8 months ago
2006
IEEE
We introduce relational temporal difference learning as an effective approach to solving multi-agent Markov decision problems with large state spaces. Our algorithm uses temporal ...
ICCD
1995
IEEE
13 years 11 months ago
1995
IEEE
We describe thedesign of a high performance asynchronous SCSI Small Computer Systems Interface controller data path and the associated control circuits. The data path is an asyn...
AIED
2011
Springer
12 years 11 months ago
2011
Springer
The Pedagogical Assessment Workflow System (PAWS) is a new workflow-based pedagogical assessment framework that enables the efficient and robust integration of diverse datasets for...