Sciweavers

1195 search results - page 55 / 239
» An Inventory-Location Model: Formulation, Solution Algorithm...
Sort
View
CORR
2008
Springer
119views Education» more  CORR 2008»
13 years 9 months ago
Self-stabilizing Numerical Iterative Computation
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...
Ezra N. Hoch, Danny Bickson, Danny Dolev
CP
2010
Springer
13 years 7 months ago
Computing the Density of States of Boolean Formulas
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
Stefano Ermon, Carla P. Gomes, Bart Selman
TPDS
2008
117views more  TPDS 2008»
13 years 8 months ago
Energy-Efficient Thermal-Aware Task Scheduling for Homogeneous High-Performance Computing Data Centers: A Cyber-Physical Approac
High Performance Computing data centers have been rapidly growing, both in number and size. Thermal management of data centers can address dominant problems associated with cooling...
Qinghui Tang, Sandeep K. S. Gupta, Georgios Varsam...
CVPR
2007
IEEE
14 years 10 months ago
On Constant Focal Length Self-Calibration From Multiple Views
We investigate the problem of finding the metric structure of a general 3D scene viewed by a moving camera with square pixels and constant unknown focal length. While the problem ...
Adrien Bartoli, Alain Crouzil, Benoît Bocqui...
3DPVT
2006
IEEE
227views Visualization» more  3DPVT 2006»
14 years 2 months ago
Automatic Locating of Anthropometric Landmarks on 3D Human Models
We present an algorithm for automatic locating of anthropometric landmarks on 3D human scans. Our method is based on learning landmark characteristics and the spatial relationship...
Zouhour Ben Azouz, Chang Shu, Anja Mantel