6719 search results - page 374 / 1344 » A Generalization of Automatic Sequences |
134
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
145
click to vote
AMDO
2006
Springer
15 years 8 months ago
2006
Springer
An automatic human shape-motion analysis method based on a fusion architecture is proposed for human action recognition in videos. Robust shape-motion features are extracted from h...
125
click to vote
AMDO
2006
Springer
15 years 8 months ago
2006
Springer
We present a simple and computationally feasible method to perform automatic emotional classification of facial expressions. We propose the use of 10 characteristic points (that ar...
149
click to vote
HUMO
2000
Springer
15 years 8 months ago
2000
Springer
We describe an approach for extracting threedimensional articulated motion from unrestricted monocular video sequences. We combine feature extraction methods based on active conto...
141
click to vote
CBSE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...