2452 search results - page 45 / 491 » On Reduction of Lagrange Systems |
CAIP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Expressing the similarity between musical streams is a challenging task as it involves the understanding of many factors which are most often blended into one information channel:...
TSMC
2002
14 years 9 months ago
2002
This paper describes the dynamic control of a 3 degree of freedom (DOF) finger emulating a human finger for reaching a desired fingertip position in space. The control consists of ...
115
click to vote
CVPR
2001
IEEE
15 years 11 months ago
2001
IEEE
We present a two-step method to speed-up object detection systems in computer vision that use Support Vector Machines (SVMs) as classifiers. In a first step we perform feature red...
ENTCS
2002
14 years 9 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...