27692 search results - page 251 / 5539 » Where is ... |
85
Voted
WSC
1997
15 years 2 months ago
1997
We investigate the problem of deriving precision estimates for bootstrap quantities. The one major stipulation is that no further bootstrapping will be allowed. In 1992, Efron der...
IJCAI
1993
15 years 2 months ago
1993
We consider the computational complexity of evaluating nested counterfactuals over a propositional knowledge base. Counterfactual implication models a statement "if p, then q...
91
Voted
UAI
1993
15 years 2 months ago
1993
: This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existen...
97
Voted
WALCOM
2007
IEEE
15 years 1 months ago
2007
IEEE
In this paper, we consider the pattern matching problem in DNA and RNA sequences where either the pattern or the text can be degenerate i.e. contain sets of characters. We present ...
98
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...