Sciweavers

6365 search results - page 322 / 1273
» Fast Local Computation Algorithms
Sort
View
IJCAI
1997
15 years 8 months ago
Local Consistency for Ternary Numeric Constraints
We consider algorithms of the Waltz type for computing local consistency (also called arcconsistency) for constraints over numeric domains. Many commonlyused propagationrules do n...
Boi Faltings, Esther Gelle
DATE
2004
IEEE
125views Hardware» more  DATE 2004»
15 years 10 months ago
Local Decisions and Triggering Mechanisms for Adaptive Fault-Tolerance
Dynamic fault-tolerance management (DFTM) was previously introduced as a means of providing environmentand workload-driven adaptation for failure-prone battery powered systems. Th...
Phillip Stanley-Marbell, Diana Marculescu
FUIN
2007
108views more  FUIN 2007»
15 years 6 months ago
Local Properties of Triangular Graphs
In the paper triangular graphs are discussed. The class of triangular graphs is of special interest as unifying basic features of complete graphs with trees and being used on many ...
Antoni W. Mazurkiewicz
JAPLL
2010
131views more  JAPLL 2010»
15 years 5 months ago
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
Willem Conradie, Valentin Goranko, Dimiter Vakarel...
GECCO
2008
Springer
171views Optimization» more  GECCO 2008»
15 years 7 months ago
An EDA based on local markov property and gibbs sampling
The key ideas behind most of the recently proposed Markov networks based EDAs were to factorise the joint probability distribution in terms of the cliques in the undirected graph....
Siddhartha Shakya, Roberto Santana