1205 search results - page 100 / 241 » Program Extraction from Large Proof Developments |
144
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Protein-protein interactions are ubiquitous and essential for all cellular processes. High-resolution X-ray crystallographic structures of protein complexes can reveal...
127
Voted
DIAL
2004
IEEE
15 years 5 months ago
2004
IEEE
Large collections of scanned documents (books and journals) are now available in Digital Libraries. The most common method for retrieving relevant information from these collectio...
112
click to vote
CIE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
IH
2005
Springer
15 years 7 months ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
118
click to vote
SIGGRAPH
1996
ACM
15 years 5 months ago
1996
ACM
A number of techniques have been developed for reconstructing surfaces by integrating groups of aligned range images. A desirable set of properties for such algorithms includes: i...