Sciweavers

45 search results - page 7 / 9
» asm 2008
Sort
View
ASM
2008
ASM
14 years 11 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
FGR
2008
IEEE
195views Biometrics» more  FGR 2008»
15 years 3 months ago
Regularized active shape model for shape alignment
Active shape model (ASM) statistically represents a shape by a set of well-defined landmark points and models object variations using principal component analysis (PCA). However, ...
Ran He, Zhen Lei, Xiaotong Yuan, Stan Z. Li
ICIP
2008
IEEE
15 years 3 months ago
Model-based compression of nonstationary landmark shape sequences
We have proposed a novel model-based compression technique for nonstationary landmark shape data extracted from video sequences. The main goal is to develop a technique for the co...
Samarjit Das, Namrata Vaswani
SIBGRAPI
2008
IEEE
15 years 3 months ago
PCA-Based 3D Face Photography
This paper presents a 3D face photography system based on a small set of training facial range images. The training set is composed by 2D texture and 3D range images (i.e. geometr...
Jesus P. Mena-Chalco, Ives Macedo, Luiz Velho, Rob...
JUCS
2008
182views more  JUCS 2008»
14 years 9 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger