188 search results - page 25 / 38 » What Is a Skeptical Proof |
251
Voted
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
118
Voted
ACCV
2009
Springer
16 years 14 days ago
2009
Springer
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...
149
click to vote
FOCS
2008
IEEE
16 years 9 days ago
2008
IEEE
What is the least surface area of a shape that tiles Rd under translations by Zd ? Any such shape must have volume 1 and hence surface area at least that of the volume-1 ball, nam...
172
click to vote
CIS
2007
Springer
16 years 1 days ago
2007
Springer
— Privacy is the claim of individuals, groups and institutions to determine for themselves, when, how and to what extent information about them is communicated to others. How to ...
180
click to vote
COCO
2007
Springer
16 years 1 days ago
2007
Springer
Motivated by the study of Parallel Repetition and also by the Unique Games Conjecture, we investigate the value of the “Odd Cycle Games” under parallel repetition. Using tools...