2343 search results - page 392 / 469 » Structure and Interpretation of Computer Programs |
135
click to vote
DIAGRAMS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
145
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
144
click to vote
JBCB
2010
15 years 3 months ago
2010
: Scattering of neutrons and x-rays from molecules in solution offers alternative approaches to the studying of a wide range of macromolecular structures in their solution state w...
243
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
178
click to vote
PODC
2009
ACM
16 years 5 months ago
2009
ACM
The paper presents distributed and parallel -approximation algorithms for covering problems, where is the maximum number of variables on which any constraint depends (for example...