13383 search results - page 315 / 2677 » Abstractions from proofs |
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Linearity tests are randomized algorithms which have oracle access to the truth table of some function f, and are supposed to distinguish between linear functions and functions whi...
180
click to vote
NDJFL
2000
15 years 6 months ago
2000
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
245
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
189
click to vote
TMI
2011
15 years 1 months ago
2011
Abstract—Optical Coherence Tomography (OCT) is a noninvasive, depth-resolved imaging modality that has become a prominent ophthalmic diagnostic technique. We present a semiautoma...
179
Voted
ACL
2012
13 years 9 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...