333 search results - page 43 / 67 » Labels from Reductions: Towards a General Theory |
177
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
167
click to vote
EUROCRYPT
2008
Springer
15 years 7 months ago
2008
Springer
Non-interactive zero-knowledge proofs and non-interactive witness-indistinguishable proofs have played a significant role in the theory of cryptography. However, lack of efficienc...
191
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The estimation of head pose angle from face images is an integral component of face recognition systems, human computer interfaces and other human-centered computing applications....
145
click to vote
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
164
click to vote
CIKM
2007
Springer
16 years 7 days ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...