Sciweavers

10790 search results - page 264 / 2158
» Using feature models to automate model transformations
Sort
View
ICIP
2008
IEEE
16 years 8 months ago
Activity-based temporal segmentation for videos of interacting objects using invariant trajectory features
This paper presents a content-based approach for temporal segmentation of videos. Tracked objects are characterized by their 2D trajectories which are used in a meaningful way to ...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
DRR
2010
15 years 9 months ago
Efficient automatic OCR word validation using word partial format derivation and language model
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
Siyuan Chen, Dharitri Misra, George R. Thoma
ICVGIP
2004
15 years 8 months ago
Facial Model Improvement Using 3D Texture Mapping Feedback
We present a method for improving a 3D facial model by interactive feedback of mapping a texture obtained from a 3D scanner. The method is based on extracting features from both 3...
Yongjie Liu, Anup Basu, Jong-Seong Kim
ICPR
2010
IEEE
16 years 1 months ago
Statistical Shape Modeling using Morphological Representations
The aim of this paper is to propose tools for statistical analysis of shape families using morphological operators. Given a series of shape families (or shape categories), the appr...
S. Velasco-Forero and J. Angulo
ATVA
2004
Springer
115views Hardware» more  ATVA 2004»
15 years 10 months ago
First-Order LTL Model Checking Using MDGs
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
Fang Wang, Sofiène Tahar, Otmane Aït M...