6740 search results - page 776 / 1348 » Using Classification as a Programming Language |
195
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Prediction of protein solvent accessibility, also called accessible surface area (ASA) prediction, is an important step for tertiary structure prediction directly from...
213
Voted
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
205
click to vote
CF
2004
ACM
16 years 27 days ago
2004
ACM
Many parallel applications from scientific computing use MPI global communication operations to collect or distribute data. Since the execution times of these communication opera...
340
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
298
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or ...