2049 search results - page 30 / 410 » Normalization and Partial Evaluation |
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
AMFG
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose a simplified and practical computational technique for estimating directional lighting in uncalibrated images of faces in frontal pose. We show that this inverse probl...
MA
2010
Springer
13 years 7 months ago
2010
Springer
We continue our recent work on finite-sample, i.e., non-asymptotic, inference with two-step, monotone incomplete data from Nd(µ, Σ), a multivariate normal population with mean ...
GFKL
2005
Springer
14 years 2 months ago
2005
Springer
The PLS approach is a widely used technique to estimate path models relating various blocks of variables measured from the same population. It is frequently applied in the social s...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
This paper is focused on algorithmic issues for biometric face verification (i.e., given an image of the face and an identity claim, decide whether they correspond to each other o...