Sciweavers

2452 search results - page 45 / 491
» On Reduction of Lagrange Systems
Sort
View
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
15 years 9 months ago
Real-Time Optic Flow Computation with Variational Methods
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...
Andrés Bruhn, Joachim Weickert, Christian F...
ICASSP
2010
IEEE
15 years 4 months ago
Multimodal similarity between musical streams for cover version detection
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:...
Rémi Foucard, Jean-Louis Durrieu, Mathieu L...
TSMC
2002
80views more  TSMC 2002»
15 years 3 months ago
A feedforward neural network controlling the movement of a 3-DOF finger
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 ...
Emanuele Lindo Secco, Giovanni Magenes
CVPR
2001
IEEE
16 years 6 months ago
Feature Reduction and Hierarchy of Classifiers for Fast Object Detection in Video Images
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...
Bernd Heisele, Thomas Serre, Sayan Mukherjee, Toma...
ENTCS
2002
129views more  ENTCS 2002»
15 years 3 months ago
Eliminating Proofs from Programs
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...
Femke van Raamsdonk, Paula Severi