210 search results - page 20 / 42 » Universal Booleanization of Constraint Models |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present an enhanced Pictorial Struc-
ture (PS) model for precise eye localization, a fundamen-
tal problem involved in many face processing tasks. PS is
a comp...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
CASES
2007
ACM
14 years 1 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
ACCV
2010
Springer
13 years 4 months ago
2010
Springer
Part Models Pablo Sala1 , Diego Macrini2 , and Sven Dickinson1 1 University of Toronto, 2 Queen's University Abstract. In recent work [1], we introduced a framework for modelr...
EMISA
2005
Springer
14 years 3 months ago
2005
Springer
: XML is an effective universal data-interchange format, and XML Schema has become the preeminent mechanism for describing valid XML document structures. Generalization/specializat...