3353 search results - page 275 / 671 » Laver and set theory |
156
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper addresses the problem of robust optimal multi-view triangulation. We propose an abstract framework, as well as a practical algorithm, which finds the best 3D reconstruc...
159
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose the use of eigenvectors for automated multidimensional image segmentation. The approach of Shi and Malik [8] has been extended in three dimensions and applied on biomed...
193
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
288
click to vote
ICAART
2010
INSTICC
16 years 3 months ago
2010
INSTICC
There has been a lot of recent work on Bayesian methods for reinforcement learning exhibiting near-optimal online performance. The main obstacle facing such methods is that in most...
193
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...