2182 search results - page 349 / 437 » A Robust Algorithm for Solving Nonlinear Programming Problem... |
CP
1997
Springer
15 years 2 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
PPDP
2010
Springer
14 years 8 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
We consider the coverage testing problem where we are given a document and a corpus with a limited query interface and asked to find if the corpus contains a near-duplicate of th...
149
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Long-term persistent tracking in ever-changing environments is a challenging task, which often requires addressing difficult object appearance update problems. To solve them, most...
AHS
2006
IEEE
14 years 12 months ago
2006
IEEE
Face recognition is a challenging field of research not only because of the complexity of this subject, but also because of its numerous practical applications. Much progress has ...