6434 search results - page 208 / 1287 » Model Transformations with Reference Models |
WSC
2008
14 years 1 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
ICCD
2000
IEEE
14 years 2 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
CASES
2006
ACM
14 years 4 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
ATAL
2008
Springer
14 years 24 days ago
2008
Springer
Currently, state of the art virtual agents lack the ability to display emotion as seen in actual humans, or even in hand-animated characters. One reason for the emotional inexpres...
ICB
2009
Springer
13 years 8 months ago
2009
Springer
Face recognition with partial face images is an important problem in face biometrics. The necessity can arise in not so constrained environments such as in surveillance video, or p...