906 search results - page 23 / 182 » The ANIMAL algorithm animation tool |
158
click to vote
CA
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper presents techniques and tools for creating and animating virtual actors in real scenes. Several problems are explained: real objects hidden by virtual actors and virtua...
146
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
157
click to vote
B
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
160
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
Hair-to-hair interaction is often ignored in human hair modeling, due to its computational and algorithmic complexity. In this paper, we present our experimental approach to simul...
136
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses the problem of motion processing and proposes the use of a mathematical model, which describes a motion signal as a path with variable harmonic components. We...