Sciweavers

2227 search results - page 326 / 446
» Graph Mining based on a Data Partitioning Approach
Sort
View
149
Voted
ATAL
2010
Springer
15 years 4 months ago
Distributed BDD-based BMC for the verification of multi-agent systems
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
Andrew V. Jones, Alessio Lomuscio
119
Voted
PAMI
1998
107views more  PAMI 1998»
15 years 2 months ago
Graph Matching With a Dual-Step EM Algorithm
—This paper describes a new approach to matching geometric structure in 2D point-sets. The novel feature is to unify the tasks of estimating transformation geometry and identifyi...
Andrew D. J. Cross, Edwin R. Hancock
KDD
2009
ACM
189views Data Mining» more  KDD 2009»
15 years 10 months ago
CoCo: coding cost for parameter-free outlier detection
How can we automatically spot all outstanding observations in a data set? This question arises in a large variety of applications, e.g. in economy, biology and medicine. Existing ...
Christian Böhm, Katrin Haegler, Nikola S. M&u...
SCIA
2005
Springer
166views Image Analysis» more  SCIA 2005»
15 years 8 months ago
Clustering Based on Principal Curve
Clustering algorithms are intensively used in the image analysis field in compression, segmentation, recognition and other tasks. In this work we present a new approach in clusteri...
Ioan Cleju, Pasi Fränti, Xiaolin Wu
SDM
2009
SIAM
126views Data Mining» more  SDM 2009»
16 years 13 days ago
An Entity Based Model for Coreference Resolution.
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...
Michael L. Wick, Aron Culotta, Khashayar Rohaniman...