2526 search results - page 361 / 506 » A New Algorithm for Answer Set Computation |
105
Voted
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
135
Voted
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether S is a semigroup or ...
126
Voted
CRV
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
129
click to vote
ISPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
Optimistically Terminating Consensus (OTC) is a variant of Consensus that decides if all correct processes propose the same value. It is surprisingly easy to implement: processes ...
108
click to vote
DNA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...