1077 search results - page 185 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
CRYPTO
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
COOPIS
2003
IEEE
14 years 26 days ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
AAAI
2006
13 years 9 months ago
2006
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
ECSQARU
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...