Sciweavers

780 search results - page 90 / 156
» Reasoning about sets using redescription mining
Sort
View
SRDS
2006
IEEE
15 years 6 months ago
Solving Consensus Using Structural Failure Models
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
Timo Warns, Felix C. Freiling, Wilhelm Hasselbring
CORR
2002
Springer
125views Education» more  CORR 2002»
15 years 15 days ago
Complexity of Manipulating Elections with Few Candidates
In multiagent settings where the agents have different preferences, preference aggregation is a central issue. Voting is a general method for preference aggregation, but seminal r...
Vincent Conitzer, Tuomas Sandholm
94
Voted
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
15 years 6 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
110
Voted
WWW
2004
ACM
16 years 1 months ago
An automatic semantic relationships discovery approach
An important obstacle to the success of the Semantic Web is that the establishment of the semantic relationship is labor-intensive. This paper proposes an automatic semantic relat...
Hai Zhuge, Liping Zheng, Nan Zhang 0007, Xiang Li
KR
1998
Springer
15 years 4 months ago
Combining Narratives
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
John McCarthy, Tom Costello