1818 search results - page 142 / 364 » The Many Faces of a Translation |
STOC
2006
ACM
16 years 1 months ago
2006
ACM
We prove that every problem in NP that has a zero-knowledge proof also has a zero-knowledge proof where the prover can be implemented in probabilistic polynomial time given an NP ...
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
135
click to vote
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
109
click to vote
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, a new efficient word spotting methodology is presented that can be applied to historical printed documents without requiring any previous block or word segmentation...