366 search results - page 29 / 74 » Synthesis: Words and Traces |
SIGGRAPH
1997
ACM
14 years 20 days ago
1997
ACM
Our goal is to develop physically based lighting models and perceptually based rendering procedures for computer graphics that will produce synthetic images that are visually and ...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
In this paper we present a method for simulating bleeding in a virtual reality hysteroscopic simulator for surgical training. The simulated bleeding is required to be visually app...
BANFF
1995
14 years 1 days ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
TSD
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper deals with the problem of speech waveform polarity. As the polarity of speech waveform can influence the performance of pitch marking algorithms (see Sec. 4),...
GRAPHICSINTERFACE
2003
13 years 10 months ago
2003
Modal analysis provides a powerful tool for efficiently simulating the behavior of deformable objects. This paper shows how manipulation, collision, and other constraints may be ...