803 search results - page 143 / 161 » Game Theory and Decision Theory in Multi-Agent Systems |
HICSS
2000
IEEE
15 years 1 months ago
2000
IEEE
People are able to determine whether or not a given document is interesting just by glancing through it. However, when asked to make explicit the rules upon which such a decision ...
92
Voted
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
TABLEAUX
1998
Springer
15 years 1 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
IM
2007
14 years 11 months ago
2007
—Policy-driven service management helps reduce IT management cost and it keeps the service management aligned with business objectives. While most of the previous research focuse...
FLAIRS
2006
14 years 10 months ago
2006
Diagnosing multiple faults for a complex system is often very difficult. It requires not only a model which adequately represents the diagnostic aspect of a complex system, but al...