4211 search results - page 91 / 843 » Types as Abstract Interpretations |
115
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
119
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Inductive concept learning is the task of learning to assign cases to a discrete set of classes. In real-world applications of concept learning, there are many different types of ...
146
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Sparse signal models learned from data are widely used in audio, image, and video restoration. They have recently been generalized to discriminative image understanding t...
154
click to vote
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. This paper presents a novel approach to sign language recognition that provides extremely high classification rates on minimal training data. Key to this approach is a 2 ...
118
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...