1205 search results - page 96 / 241 » Program Extraction from Large Proof Developments |
159
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...
103
click to vote
PEPM
1994
ACM
15 years 5 months ago
1994
ACM
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...
120
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...
112
click to vote
APPINF
2003
15 years 3 months ago
2003
Whenever large homogeneous data structures need to be processed in a non-trivial way, e.g. in computational sciences, image processing, or system simulation, high-level array prog...
107
click to vote
ITBAM
2010
14 years 11 months ago
2010
This paper analyzes the requirements and presents a novel approach to the development of a system for epidemiological data collection and integration based on the principles of int...