906 search results - page 101 / 182 » The ANIMAL algorithm animation tool |
127
click to vote
WICSA
2004
15 years 5 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
119
click to vote
AAAI
1996
15 years 5 months ago
1996
Automatic recognition of animal vocalisations would be a valuable tool for a variety of biological research and environmental monitoring applications . We report the development o...
121
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
115
Voted
STTT
2008
15 years 3 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
137
click to vote
TVCG
2010
15 years 2 months ago
2010
—Graphics artists commonly employ physically-based simulation for the generation of effects such as smoke, explosions, and similar phenomena. The task of finding the correct par...