906 search results - page 127 / 182 » The ANIMAL algorithm animation tool |
142
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
118
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
146
click to vote
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
Simulating fluids based on vortex filaments is highly attractive for the creation of special effects because it gives artists full control over the simulation using familiar too...
141
click to vote
INFOVIS
1998
IEEE
15 years 8 months ago
1998
IEEE
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
179
click to vote
PG
1998
IEEE
15 years 8 months ago
1998
IEEE
Space deformation is an important tool in computer animation and shape design. In this paper we propose a new local deformation model based on generalized metaballs. The user spec...