5373 search results - page 119 / 1075 » Models and Motion Planning |
INFORMATICALT
2007
14 years 10 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
In this work, we propose a new robust and edge-preserving superresolution algorithm to simultaneously estimate all frames of a sequence. The new algorithm is based on the regulari...
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores an approach for extracting scene text from a sequence of images with relative motion between the camera and the scene. It is assumed that the scene text lies o...
IWCIA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Usually object segmentation and motion estimation are considered (and modelled) as different tasks. For motion estimation this leads to problems arising especially at th...
IBPRIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper presents a new framework for the motion segmentation and estimation task on sequences of two grey images without a priori information of the number of moving r...