858 search results - page 117 / 172 » One Is Enough! |
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
Privacy-preserving data mining (PPDM) is an important topic to both industry and academia. In general there are two approaches to tackling PPDM, one is statistics-based and the oth...
RTA
2005
Springer
14 years 2 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
This purely theoretical work investigates the problem
of artificial singularities in camera self-calibration. Selfcalibration
allows one to upgrade a projective reconstruction
t...
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
We present a new method for training deformable models. Assume that we have training images where part locations have been labeled. Typically, one fits a model by maximizing the l...