21430 search results - page 3650 / 4286 » Abstract Effective Models |
183
click to vote
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
188
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Virtual agents designed to establish relationships with more than one user must be able to identify and distinguish among those users with high reliability. We descr...
229
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Establishing and maintaining cooperation is an enduring problem in multi-agent systems and, although several solutions exist, the increased use of online trading systems, peerto-p...
199
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...
229
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...