Sciweavers

3096 search results - page 35 / 620
» Theory and Use of the EM Algorithm
Sort
View

Book
250views
16 years 11 months ago
Algorithmic Information Theory
"The aim of this book is to present the strongest possible version of G¨odel's incompleteness theorem, using an information-theoretic approach based on the size of com...
G J Chaitin
SCALESPACE
2009
Springer
15 years 8 months ago
Bregman-EM-TV Methods with Application to Optical Nanoscopy
Abstract. Measurements in nanoscopic imaging suffer from blurring effects concerning different point spread functions (PSF). Some apparatus even have PSFs that are locally depend...
Christoph Brune, Alex Sawatzky, Martin Burger
PAMI
2010
160views more  PAMI 2010»
14 years 12 months ago
Photometric Stereo via Expectation Maximization
—This paper presents a robust and automatic approach to photometric stereo, where the two main components, namely surface normals and visible surfaces, are respectively optimized...
Tai-Pang Wu, Chi-Keung Tang
FSTTCS
2004
Springer
15 years 6 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 5 months ago
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
Andreas Abel, Thierry Coquand, Miguel Pagano