780 search results - page 52 / 156 » Compositional Quantitative Reasoning |
149
Voted
MLMTA
2003
15 years 2 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...
141
click to vote
SUM
2010
Springer
14 years 11 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
ICSE
2003
IEEE-ACM
16 years 27 days ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
88
Voted
ACII
2005
Springer
15 years 6 months ago
2005
Springer
This paper proposes an alternative paradigm for building affective competencies in embodied conversational agents (ECAs). The key feature of this approach -- and the reason for ref...
102
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...