Sciweavers

6040 search results - page 449 / 1208
» Generating Instance Models from Meta Models
Sort
View
ICTAC
2004
Springer
16 years 6 days ago
Minimal Spanning Set for Coverage Testing of Interactive Systems
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
Fevzi Belli, Christof J. Budnik
STAIRS
2008
175views Education» more  STAIRS 2008»
15 years 8 months ago
Learning Process Behavior with EDY: an Experimental Analysis
This paper presents an extensive evaluation, on artificial datasets, of EDY, an unsupervised algorithm for automatically synthesizing a Structured Hidden Markov Model (S-HMM) from ...
Ugo Galassi
FASE
2009
Springer
16 years 1 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
ICMCS
2005
IEEE
172views Multimedia» more  ICMCS 2005»
16 years 13 days ago
A Study of Synthesizing New Human Motions from Sampled Motions Using Tensor Decomposition
This paper applies an algorithm, based on Tensor Decomposition, to a new synthesis application: by using sampled motions of people of different ages under different emotional stat...
Rovshan Kalanov, Jieun Cho, Jun Ohya
FGR
1998
IEEE
74views Biometrics» more  FGR 1998»
15 years 11 months ago
Synthesis of Facial Images with Lip Motion from Several Real Views
The synthesis of facial images by computer graphics is very important for many applications such as human interface and visual entertainment. The lip motion is an essential factor...
Lei Gao, Yasuhiro Mukaigawa, Yuichi Ohta