2109 search results - page 365 / 422 » Solving Necklace Constraint Problems |
105
click to vote
ENTCS
2007
15 years 18 days ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
120
Voted
PAMI
2006
15 years 17 days ago
2006
Efficient segmentation of globally optimal surfaces representing object boundaries in volumetric data sets is important and challenging in many medical image analysis applications....
114
click to vote
SIAMSC
2008
15 years 16 days ago
2008
We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
101
click to vote
AUTOMATICA
2005
15 years 16 days ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
77
Voted
TOG
2008
15 years 16 days ago
2008
We propose a tone-mapping operator that can minimize visible contrast distortions for a range of output devices, ranging from e-paper to HDR displays. The operator weights contras...