634 search results - page 64 / 127 » Completion Procedures as Semidecision Procedures |
ICIP
1994
IEEE
15 years 11 months ago
1994
IEEE
The median operator is a nonlinear (morphological) image transformation which has become very popular because it can suppress noise while preserving the edges. It treats the foreg...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Guiding image segmentation with edge information is an often employed strategy in low level computer vision. To improve the trade-off between the sensitivity of homogeneous region...
ICML
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a method for parameter learning in relational Bayesian networks (RBNs). Our approach consists of compiling the RBN model into a computation graph for the likelihood fun...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
KDD
2002
ACM
15 years 10 months ago
2002
ACM
The goal of clustering is to identify distinct groups in a dataset. Compared to non-parametric clustering methods like complete linkage, hierarchical model-based clustering has th...