6960 search results - page 779 / 1392 » Continuity Analysis of Programs |
199
click to vote
ICML
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a Bayesian search algorithm for learning the structure of latent variable models of continuous variables. We stress the importance of applying search operators designed...
170
click to vote
ICIAP
2009
ACM
16 years 7 months ago
2009
ACM
Abstract. Discrete distortion for two- and three-dimensional combinatorial manifolds is a discrete alternative to Ricci curvature known for differentiable manifolds. Here, we show ...
190
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
196
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
We consider the problem of "progressively" joining relations whose records are continuously retrieved from remote sources through an unstable network that may incur temp...
208
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Augmented reality applications often rely on a detailed environment model to support features such as annotation and occlusion. Usually, such a model is constructed offline, whic...