5232 search results - page 210 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
149
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
176
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
We describe an implementation of datadriven selection of emphatic facial displays for an embodied conversational agent in a dialogue system. A corpus of sentences in the domain of...
188
click to vote
AES
2008
Springer
15 years 6 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...
141
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper, we present an example-based facial sketch system. Our system automatically generates a sketch from an input image, by learning from example sketches drawn with a pa...
167
click to vote
ISCC
2000
IEEE
15 years 11 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...