10848 search results - page 260 / 2170 » Programming in Biomolecular Computation |
150
click to vote
LOPSTR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
168
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
155
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
166
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
245
click to vote
Book
"GP is a systematic, domain-independent method for getting computers to solve problems automatically starting from a high-level statement of what needs to be done. Using ideas...