521 search results - page 55 / 105 » On Stable Matchings and Flows |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
ICPR
2004
IEEE
16 years 29 days ago
2004
IEEE
: This paper presents a robust phase correlation based sub-pixel feature matching technique and its application in motion flow estimation, pixel-to-pixel image-co-registration and ...
ISVC
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we propose a new system for real-time feature acquisition and integration based on high-resolution stereo images that is suitable for mobile robot platforms with limi...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes a robust video fingerprinting method based on affine covariant regions. In video fingerprinting, a video clip is identified using short feature vectors ref...
ASPDAC
1999
ACM
15 years 4 months ago
1999
ACM
A method is introduced for model order reduction of large circuits extracted from layout. The algorithm, which is based on balanced realization, can be used for reducing the order ...