10568 search results - page 1780 / 2114 » Computer Intelligence and Formalization |
131
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
136
click to vote
ECAI
1994
Springer
15 years 9 months ago
1994
Springer
1 A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents...
141
click to vote
EENERGY
2010
15 years 8 months ago
2010
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
147
click to vote
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
RND (Radio Network Design) is a Telecommunication problem consisting in covering a certain geographical area by using the smallest number of radio antennas achieving the biggest co...
134
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We model social choice problems in which self interested agents with private utility functions have to agree on values for a set of variables subject to side constraints. The goal...