1205 search results - page 120 / 241 » Program Extraction from Large Proof Developments |
138
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
HIPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
125
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
140
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
We formulate the problem of salient region detection in images as Markov random walks performed on images represented as graphs. While the global properties of the image are extra...
132
click to vote
ESORICS
2012
Springer
13 years 3 months ago
2012
Springer
Although recent compromises and admissions have given new credibility to claimed encounters of Man-in-the-middle (MitM) attacks on SSL/TLS, very little proof exists in the public r...