Sciweavers

2147 search results - page 190 / 430
» Natural Phenomena Simulation
Sort
View
PPSN
1998
Springer
15 years 9 months ago
On Genetic Algorithms and Lindenmayer Systems
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
Gabriela Ochoa
CGF
2007
127views more  CGF 2007»
15 years 5 months ago
A Finite Element Method on Convex Polyhedra
We present a method for animating deformable objects using a novel finite element discretization on convex polyhedra. Our finite element approach draws upon recently introduced ...
Martin Wicke, Mario Botsch, Markus H. Gross
ICSE
2003
IEEE-ACM
16 years 5 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
ECAL
2007
Springer
15 years 11 months ago
On the Adaptive Disadvantage of Lamarckianism in Rapidly Changing Environments
Using a simple simulation model of evolution and learning this paper provides some evolutionary arguments on why Lamarckianlike inheritance - direct transfer of lifetime learning r...
Ingo Paenke, Bernhard Sendhoff, Jon Rowe, Chrisant...
206
Voted
MABS
2007
Springer
15 years 11 months ago
Middleware Support for Performance Improvement of MABS Applications in the Grid Environment
The Grid can be the right environment for large-scale Multi-agent based simulation (MABS) applications. However, due to the nature of the Grid and the characteristics of MABS, achi...
Dawit Mengistu, Paul Davidsson, Lars Lundberg