2550 search results - page 459 / 510 » Difference Decision Diagrams |
146
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
243
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
208
click to vote
AAAI
2008
15 years 8 months ago
2008
My thesis aims to contribute towards building autonomous agents that are able to understand their surrounding environment through the use of both audio and visual information. To ...
178
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...
138
click to vote
ASUNAM
2010
IEEE
15 years 7 months ago
2010
IEEE
Problem resolution is a key issue in the IT service industry. A large service provider handles, on daily basis, thousands of tickets that report various types of problems from its...