Sciweavers

5634 search results - page 397 / 1127
» About Abstract Classes
Sort
View
CSREASAM
2003
15 years 8 months ago
Proactive Containment of Malice in Survivable Distributed Systems
Abstract The uncontrolled propagation of faults due to malicious intrusion can severely decrease system performance and survivability. Our goal is to employ available information a...
Michael G. Merideth, Priya Narasimhan
IICAI
2003
15 years 8 months ago
Causal Explanation with Background Knowledge
Abstract. This paper presents a new sequential algorithm to answer the question about the existence of a causal explanation for a set of independence statements (a dependency model...
Bhaskara Reddy Moole, Marco Valtorta
CSL
2010
Springer
15 years 7 months ago
Graded Computation Tree Logic with Binary Coding
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
Alessandro Bianco, Fabio Mogavero, Aniello Murano
ECAI
2010
Springer
15 years 7 months ago
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...
Matthias Westphal, Stefan Wölfl, Jason Jingsh...
EGOV
2010
Springer
15 years 7 months ago
A Fuzzy Recommender System for eElections
Abstract. eDemocracy aims to increase participation of citizens in democratic processes through the use of information and communication technologies. In this paper, an architectur...
Luis Terán, Andreas Meier