6800 search results - page 679 / 1360 » Testing with Functions as Specifications |
190
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
276
click to vote
ESANN
2008
15 years 8 months ago
2008
In this paper the application of reinforcement learning to Tetris is investigated, particulary the idea of temporal difference learning is applied to estimate the state value funct...
236
click to vote
ISMB
1996
15 years 8 months ago
1996
The native conformation of a protein, in a given environment, is determined entirely by the various interatomic interactions dictated by the amino acid sequence (1-3). We describe...
243
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
183
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The rapid development of structural genomics has resulted in many "unknown function" proteins being deposited in Protein Data Bank (PDB), thus, the functiona...