718 search results - page 74 / 144 » Extraction of Structured Programs from Specification Proofs |
125
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: We present a novel method of protein fold decoy discrimination using machine learning, more specifically using neural networks. Here, decoy discrimination is represent...
214
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
121
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Detailed information about protein interactions is critical for our understanding of the principles governing protein recognition mechanisms. The structures of many pr...
143
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
113
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...