861 search results - page 146 / 173 » From Simple Features to Sophisticated Evaluation Functions |
SAT
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
VEE
2010
ACM
14 years 2 months ago
2010
ACM
Asymmetric multicore processors (AMP) consist of cores exposing the same instruction-set architecture (ISA) but varying in size, frequency, power consumption and performance. AMPs...
CE
2010
13 years 7 months ago
2010
The collection of student feedback is seen as a central strategy to monitor the quality and standards of teaching and learning in Higher Education Institutions. The increasing use...
IJCV
2006
13 years 7 months ago
2006
We develop a method for the estimation of articulated pose, such as that of the human body or the human hand, from a single (monocular) image. Pose estimation is formulated as a s...
TVCG
2012
11 years 10 months ago
2012
—This paper presents a volumetric modeling framework to construct a novel spline scheme called restricted trivariate polycube splines (RTP-splines). The RTP-spline aims to genera...