10997 search results - page 76 / 2200 » On the Structure of Complete Sets |
191
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conflict driven clause learning. W...
162
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
159
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
In this paper we propose an algorithm to estimate missing
values in tensors of visual data. The values can be missing
due to problems in the acquisition process, or because
the ...
146
click to vote
PERCOM
2009
ACM
16 years 20 days ago
2009
ACM
—One of the major issues in a wireless sensor network (WSN) is how to cover an interested area. In this paper, we consider the area coverage problem for variable sensing radii WS...
161
click to vote
DDECS
2008
IEEE
16 years 9 days ago
2008
IEEE
: We propose a simple and fast two-level minimization algorithm for completely specified functions in this paper. The algorithm is based on processing ternary trees. A ternary tree...