4609 search results - page 160 / 922 » Automatic Generation of Sigma-Protocols |
197
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
146
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
164
click to vote
APLAS
2006
ACM
16 years 12 days ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
168
click to vote
IPM
2007
15 years 6 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
259
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Given an image, we propose a hierarchical generative
model that classifies the overall scene, recognizes and segments
each object component, as well as annotates the image
with ...