2247 search results - page 331 / 450 » An expert system for the design of agents |
157
click to vote
CAV
2005
Springer
16 years 18 hour ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
182
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
129
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper addresses the question of how statistical learning algorithms can be integrated into a larger AI system both from a practical engineering perspective and from the persp...
149
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
152
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...