Sciweavers

861 search results - page 64 / 173
» From Simple Features to Sophisticated Evaluation Functions
Sort
View
ISMB
1997
13 years 10 months ago
RIBOWEB: Linking Structural Computations to a Knowledge Base of Published Experimental Data
The world wide web(WWW)has becomecritical for storing and disseminatingbiological data. It offers an additional opportunity, however,to support distributed computation and sharing...
Richard O. Chen, Ramon M. Felciano, Russ B. Altman
CORR
2010
Springer
137views Education» more  CORR 2010»
13 years 9 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
GI
1997
Springer
14 years 1 months ago
Functional Object-Oriented Programming with Object-Gofer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
Wolfram Schulte, Klaus Achatz
BIOINFORMATICS
2007
83views more  BIOINFORMATICS 2007»
13 years 9 months ago
Exploring biological network structure using exponential random graph models
Motivation: The functioning of biological networks depends in large part on their complex underlying structure. When studying their systemic nature many modeling approaches focus ...
Zachary M. Saul, Vladimir Filkov
UAI
2008
13 years 10 months ago
Dyna-Style Planning with Linear Function Approximation and Prioritized Sweeping
We consider the problem of efficiently learning optimal control policies and value functions over large state spaces in an online setting in which estimates must be available afte...
Richard S. Sutton, Csaba Szepesvári, Alborz...