Sciweavers

1160 search results - page 71 / 232
» Revisiting the Sequence Constraint
Sort
View
ECCV
1994
Springer
16 years 8 months ago
Recursive Non-Linear Estimation of Discontinuous Flow Fields
Abstract. This paper de nes a temporal continuity constraint that expresses assumptions about the evolution of 2D image velocity, or optical ow, over a sequence of images. Temporal...
Michael J. Black
ICRA
1995
IEEE
120views Robotics» more  ICRA 1995»
15 years 10 months ago
Robust Detection of Moving Objects by a Moving Observer on Planar Surfaces
We introduce a technique for deiiecting moving objects from an image sequence obtained with a moving camera using the planarity constraint. To increase the robustness of this tech...
Ashraf Elnagar, Anup Basu
CORR
2006
Springer
115views Education» more  CORR 2006»
15 years 6 months ago
Entropy-optimal Generalized Token Bucket Regulator
Abstract-- We derive the maximum entropy of a flow (information utility) which conforms to traffic constraints imposed by a generalized token bucket regulator, by taking into accou...
Ashutosh Deepak Gore, Abhay Karandikar
BMCBI
2010
150views more  BMCBI 2010»
15 years 6 months ago
Evolutionary rates at codon sites may be used to align sequences and infer protein domain function
Background: Sequence alignments form part of many investigations in molecular biology, including the determination of phylogenetic relationships, the prediction of protein structu...
Pierre M. Durand, Scott Hazelhurst, Theresa L. Coe...
CP
2008
Springer
15 years 8 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...