1835 search results - page 297 / 367 » Functional Programming of Behavior-Based Systems |
115
click to vote
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper we investigate and compare three aesthetic measures within the context of evolutionary art. We evolve visual art with an unsupervised evolutionary art system using ge...
112
Voted
JCC
2008
15 years 2 months ago
2008
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
117
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
189
Voted
SCP
2011
14 years 9 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
129
click to vote
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...