4403 search results - page 82 / 881 » Galois Theory of Algorithms |
174
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
Computational vision algorithms are often developed in a Bayesian framework. Two estimators are commonly used: maximum a posteriori (MAP), and minimum mean squared error (MMSE). W...
154
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Identification of defective members of large populations has been widely studied in the statistics community under the name of group testing. It involves grouping subsets of items...
196
click to vote
PAMI
2006
15 years 6 months ago
2006
We present a novel variational and statistical approach for shape registration. Shapes of interest are implicitly embedded in a higher dimensional space of distance transforms. In...
179
click to vote
LATA
2009
Springer
16 years 28 days ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
275
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...