1948 search results - page 92 / 390 » Formalizing Mirror Theory |
122
click to vote
ECCV
2002
Springer
16 years 7 months ago
2002
Springer
This paper studies the inference of 3D shape from a set of ? noisy photos. We derive a probabilistic framework to specify what one can infer about 3D shape for arbitrarily-shaped, ...
249
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we propose the first formal privacy analysis of a data anonymization process known as the synthetic data generation, a technique becoming popular in the statistics c...
169
click to vote
MKM
2009
Springer
15 years 12 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
144
click to vote
ICRA
2008
IEEE
15 years 12 months ago
2008
IEEE
— We present heuristic algorithms for pruning large sets of candidate paths or trajectories down to smaller subsets that maintain desirable characteristics in terms of overall re...
132
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...