871 search results - page 127 / 175 » How Realistic is Realism |
SIGSOFT
2003
ACM
14 years 27 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
FATES
2003
Springer
14 years 27 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
CA
2002
IEEE
14 years 19 days ago
2002
IEEE
Motion capture can be an effective method of creating realistic human motion for animation. Unfortunately, the quality demands for animation place challenging demands on a capture...
FGR
2002
IEEE
14 years 19 days ago
2002
IEEE
As we articulate speech, we usually move the head and exhibit various facial expressions. This visual aspect of speech aids understanding and helps communicating additional inform...
DAWAK
2001
Springer
14 years 5 days ago
2001
Springer
Multi-Dimensional Expressions (MDX) provide an interface for asking several related OLAP queries simultaneously. An interesting problem is how to optimize the execution of an MDX q...