4880 search results - page 156 / 976 » Manuals as Structured Programs |
131
click to vote
BIOINFORMATICS
2006
15 years 3 months ago
2006
Motivation: Most previous approaches to model biochemical networks havefocusedeither on the characterization of a networkstructurewith a number of components or on the estimation ...
161
Voted
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
156
click to vote
TMI
2002
15 years 3 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
130
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
110
Voted
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...