3322 search results - page 257 / 665 » Automatic Human Model Generation |
104
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
118
click to vote
CVPR
1999
IEEE
16 years 1 months ago
1999
IEEE
This paper presents a novel approach for generating and analyzing epipolar plane images (EPIs) from video sequences taken from a moving platform subject to vibration so that the 3...
BMCBI
2008
14 years 11 months ago
2008
Background: In accordance with the increasing amount of information concerning individual differences in drug response and molecular interaction, the role of in silico prediction ...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a novel cycle-approximate performance estimation technique for automatically generated transaction level models (TLMs) for heterogeneous multicore designs. The...