Sciweavers

1160 search results - page 150 / 232
» Revisiting the Sequence Constraint
Sort
View
ICIAR
2007
Springer
16 years 17 days ago
High Accuracy Optical Flow Method Based on a Theory for Warping: Implementation and Qualitative/Quantitative Evaluation
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
Mohammad Faisal, John Barron
SCALESPACE
2007
Springer
16 years 15 days ago
Motion Compensated Video Super Resolution
In this paper we present a variational, spatiotemporal video super resolution scheme that produces not just one but n high resolution video frames from an n frame low resolution vi...
Sune Høgild Keller, François Lauze, ...
VMCAI
2007
Springer
16 years 15 days ago
Invariant Synthesis for Combined Theories
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, A...
CVPR
2006
IEEE
16 years 14 days ago
Shape from Dynamic Texture for Planes
We propose a method for recovering the affine geometry of a dynamically textured plane from a video sequence taken by an uncalibrated, fixed, perspective camera. Some instances ...
Yaser Sheikh, Niels C. Haering, Mubarak Shah
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
16 years 14 days ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...