1626 search results - page 144 / 326 » The method evaluation model: a theoretical model for validat... |
ICNC
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we introduce a system that synthesizes the emotional audio-visual speech for a 3-D talking agent by adopting the PAD (Pleasure-Arousal-Dominance) emotional model. A ...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In this work, we study the inconsistency of EKFbased SLAM from the perspective of observability. We analytically prove that when the Jacobians of the state and measurem...
FMCAD
2007
Springer
14 years 2 days ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
HT
2010
ACM
14 years 1 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
AES
2008
Springer
13 years 8 months ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...