Sciweavers

45 search results - page 7 / 9
» asm 2008
Sort
View
ASM
2008
ASM
15 years 7 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 11 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 11 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 11 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»
15 years 4 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