711 search results - page 57 / 143 » Color sketch generation |
PG
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper presents a data-driven procedural model for the kinematic animation of human walking. The use of data yields realistic looking gait, while the procedural model yields ï...
FBT
2000
13 years 9 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
ENTCS
2008
13 years 7 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
TVCG
2008
13 years 7 months ago
2008
This paper presents a new approach for the mesh composition on models with arbitrary boundary topology. After cutting the needed parts from existing mesh models and putting them in...
JUCS
2002
13 years 7 months ago
2002
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...