472 search results - page 60 / 95 » Limiting Negations in Formulas |
EKAW
2004
Springer
14 years 3 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
HICSS
2003
IEEE
2003
IEEE
A probabilistic loading-dependent model of cascading failure and possible implications for blackouts
14 years 3 months ago
Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...
DIGRA
2003
Springer
14 years 3 months ago
2003
Springer
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— Trust management, broadly intended as the ability to maintain belief relationship among entities, is recognized as a fundamental security challenge for autonomous and selforgan...
ICCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The results of analytical approximations and extensive calculations based on a path integral Monte Carlo (PIMC) scheme are presented. A new (direct) PIMC method allows fo...