125 search results - page 2 / 25 » Verifying Model Oriented Specifications through Animation |
SEKE
2007
Springer
13 years 11 months ago
2007
Springer
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...
IVA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. How to create effective body animations for virtual agents with emotions remains the state of the art for human animators and a great challenge for computer scientists. I...
EMNLP
2008
13 years 6 months ago
2008
We describe an approach for acquiring the domain-specific dialog knowledge required to configure a task-oriented dialog system that uses human-human interaction data. The key aspe...
DKE
2002
13 years 4 months ago
2002
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...