Sciweavers

7978 search results - page 666 / 1596
» Combining shared-coin algorithms
Sort
View
FORTE
2003
15 years 8 months ago
Progressive Solutions to a Parallel Automata Equation
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...
Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko...
IJCAI
2003
15 years 8 months ago
Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems
We investigate interchangeability of values in CSPs, based on an approach where a single value in the domain of a variable can be treated as a combination of “sub-values”. An ...
James Bowen, Chavalit Likitvivatanavong
UAI
2004
15 years 8 months ago
Robustness of Causal Claims
A causal claim is any assertion that invokes causal relationships between variables, for example, that a drug has a certain e ect on preventing a disease. Causal claims are establ...
Judea Pearl
WSCG
2001
141views more  WSCG 2001»
15 years 8 months ago
Exploiting Eigenvalues of the Hessian Matrix for Volume Decimation
In recent years the Hessian matrix and its eigenvalues became important in pattern recognition. Several algorithms based on the information they provide have been introduced. We r...
Jirí Hladuvka, Andreas König, Eduard G...
AAAI
1998
15 years 8 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino