6045 search results - page 10 / 1209 » Computable Linearizations of Well-partial-orderings |
TALG
2011
13 years 2 months ago
2011
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) has been a popular method for extracting features which preserve class separability. It has been widely used in many fields of information proces...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper presents a complete analytical characterization of a large class of central and non-central imaging devices dubbed linear cameras by Ponce [9]. Pajdla [7] has shown tha...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper presents and compares 3 methods for the statistical localization of partially occulted landmarks. In many real applications, some information is visible in images and s...