1648 search results - page 120 / 330 » A Modelling Framework for Functional Imagination |
88
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
136
click to vote
FMOODS
2007
15 years 5 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
143
click to vote
ANOR
2010
15 years 3 months ago
2010
Abstract The problem of portfolio risk estimation in volatile markets requires employing fat-tailed models for financial instrument returns combined with copula functions to captur...
114
click to vote
JBI
2006
15 years 3 months ago
2006
Molecular evolutionary studies provide a means of investigating how cells function and how organisms adapt to their environment. The products of evolutionary studies provide medic...
148
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In a wireless network composed of randomly scattered nodes, the characterization of the distribution of the best signal quality received from a group of nodes is of prima...