216 search results - page 29 / 44 » A hybrid exact algorithm for complete set partitioning |
108
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
151
click to vote
COMPGEOM
2001
ACM
15 years 5 months ago
2001
ACM
The treatment of curved algebraic surfaces becomes more and more the focus of attention in Computational Geometry. We present a video that illustrates the computation of the conve...
128
click to vote
SCALESPACE
2001
Springer
15 years 6 months ago
2001
Springer
Bayesian statistical theory is a convenient way of taking a priori information into consideration when inference is made from images. In Bayesian image detection, the a priori dist...
131
click to vote
VMV
2001
15 years 2 months ago
2001
Efficient isosurface extraction from large volume data sets requires special algorithms and data structures. Such algorithms typically either use a hierarchical spatial subdivisio...
105
click to vote
ISAAC
2005
Springer
15 years 7 months ago
2005
Springer
We explore the complexity of computing tilings of orthogonal polygons using colored dominoes. A colored domino is a rotatable 2 × 1 rectangle that is partitioned into two unit squ...