Sciweavers

1992 search results - page 192 / 399
» Memory modeling for system synthesis
Sort
View
ENTCS
2010
84views more  ENTCS 2010»
15 years 6 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
ICIP
2004
IEEE
16 years 7 months ago
Statistical transformations of frontal models for non-frontal face verification
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
Conrad Sanderson, Samy Bengio
CA
1996
IEEE
15 years 10 months ago
Modeling, Tracking and Interactive Animation of Faces and Heads Using Input from Video
We describe tools that use measurements from video for the extraction of facial modeling and animation parameters, head tracking, and real-time interactive facial animation. These...
Irfan A. Essa, Sumit Basu, Trevor Darrell, Alex Pe...
CVPR
2010
IEEE
16 years 2 months ago
Spike Train Driven Dynamical Models for Human Actions
We investigate dynamical models of human motion that can support both synthesis and analysis tasks. Unlike coarser discriminative models that work well when action classes are ...
Michalis Raptis, Kamil Wnuk , Stefano Soatto
EUROMICRO
2006
IEEE
16 years 9 days ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...