380 search results - page 57 / 76 » Formal driven prototyping approach for multiagent systems |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
VECPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
IUI
2006
ACM
14 years 3 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
ECAI
2006
Springer
14 years 20 days ago
2006
Springer
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
FORMATS
2006
Springer
14 years 20 days ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...