3342 search results - page 86 / 669 » Automating Abstract Interpretation |
145
click to vote
ECCV
2004
Springer
16 years 4 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 ...
111
Voted
IDEAL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Analysis of data without labels is commonly subject to scrutiny by unsupervised machine learning techniques. Such techniques provide more meaningful representations, usef...
113
click to vote
CDC
2009
IEEE
15 years 7 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 ...
73
Voted
ZMP
2002
15 years 2 months ago
2002
Abstract. Music video (MV) content is frequently measured using researcher descriptions. This study examines subjective or viewers' notions of sex and violence. 168 university...
115
Voted
APLAS
2010
ACM
15 years 6 days ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...