118 search results - page 16 / 24 » A Computational Approach to Pocklington Certificates in Type... |
CVPR
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...
IJCAI
1993
13 years 10 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
Nonnegative Matrix Factorization (NMF) is a dimension reduction method that has been widely used for various tasks including text mining, pattern analysis, clustering, and cancer ...
DASC
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...