575 search results - page 94 / 115 » Controller Synthesis for Probabilistic Systems |
CA
1996
IEEE
14 years 3 days ago
1996
IEEE
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...
AFRIGRAPH
2007
ACM
13 years 12 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
VALUETOOLS
2006
ACM
14 years 1 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
DAC
2011
ACM
12 years 7 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
AC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...