77016 search results - page 15064 / 15404 » Modelling |
158
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Motivated by the ability of living cells to form specific shapes and structures, we present a computational approach using distributed genetic programming to discover cell-cell i...
157
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This study proposes an agent-based model where adaptively learning agents with local vision who are situated in the Prisoner’s Dilemma game change their strategy and location as...
174
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...
130
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
172
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...