Sciweavers

4430 search results - page 711 / 886
» Solving Optimization Problems with DLL
Sort
View
ECAI
2010
Springer
15 years 3 months ago
On Computing Backbones of Propositional Theories
Backbones of propositional theories are literals that are true in every model. Backbones have been used for characterizing the hardness of decision and optimization problems. Moreo...
João Marques-Silva, Mikolás Janota, ...
CVPR
2011
IEEE
15 years 2 months ago
Energy Based Multiple Model Fitting for Non-Rigid Structure from Motion
In this paper we reformulate the 3D reconstruction of deformable surfaces from monocular video sequences as a labeling problem. We solve simultaneously for the assignment of featu...
Chris Russell, Joao Fayad, Lourdes Agapito
ACCV
2010
Springer
15 years 1 months ago
Robust Photometric Stereo via Low-Rank Matrix Completion and Recovery
We present a new approach to robustly solve photometric stereo problems. We cast the problem of recovering surface normals from multiple lighting conditions as a problem of recover...
Lun Wu, Arvind Ganesh, Boxin Shi, Yasuyuki Matsush...
JSAT
2010
132views more  JSAT 2010»
15 years 1 months ago
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers
In this paper we analyze three well-known preprocessors for Max-SAT. The first preprocessor is based on the so-called variable saturation. The second preprocessor is based on the ...
Federico Heras, David Bañeres
ICASSP
2011
IEEE
14 years 10 months ago
Multiple-channel detection of a Gaussian time series over frequency-flat channels
This work addresses the problem of deciding whether a set of realizations of a vector-valued time series with unknown temporal correlation are spatially correlated or not. Speciï¬...
David Ramírez, Javier Vía, Ignacio S...