1565 search results - page 158 / 313 » Interactive modeling of trees by using growth simulation |
194
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
199
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
150
click to vote
VSGAMES
2010
15 years 4 months ago
2010
— This paper describes a variety of methods that can be used to create realistic, random 3D environments for serious games requiring real-time performance. These include the gene...
163
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Hand dyeing generates artistic representations with unique and complex patterns. The aesthetics of dyed patterns on a cloth originate from the physical properties of dyei...
174
click to vote
APVIS
2009
15 years 7 months ago
2009
The ability to extract and follow time-varying flow features in volume data generated from large-scale numerical simulations enables scientists to effectively see and validate mod...