Sciweavers

720 search results - page 95 / 144
» Visualization of Description Logic Models
Sort
View
MEMOCODE
2003
IEEE
14 years 1 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
3DPVT
2004
IEEE
239views Visualization» more  3DPVT 2004»
13 years 11 months ago
3D Performance Capture for Facial Animation
This paper describes how a photogrammetry based 3D capture system can be used as an input device for animation. The 3D Dynamic Capture System is used to capture the motion of a hu...
Donald MacVicar, Stuart Ford, Ewan Borland, Robert...
MODELS
2007
Springer
14 years 2 months ago
Model Driven Development of Complex User Interface
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
Xudong Lu, Jiancheng Wan
ICMCS
2000
IEEE
89views Multimedia» more  ICMCS 2000»
14 years 11 days ago
A Performance Based Parametric Model for Facial Animation
In this paper we present a parametric model for facial animation and a method for adapting it to a specific person. Every facial expression can be described as a contraction or r...
Ania Wojdel, Léon J. M. Rothkrantz
3DPVT
2006
IEEE
203views Visualization» more  3DPVT 2006»
14 years 2 months ago
A Spatio-Temporal Modeling Method for Shape Representation
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
Heng Huang, Li Shen, Rong Zhang, Fillia Makedon, J...