Sciweavers

19936 search results - page 73 / 3988
» Inductive process modeling
Sort
View
ICDM
2003
IEEE
136views Data Mining» more  ICDM 2003»
15 years 7 months ago
Statistical Relational Learning for Document Mining
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
Alexandrin Popescul, Lyle H. Ungar, Steve Lawrence...
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 2 months ago
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
Jean-François Dufourd
103
Voted
NAACL
2010
15 years 12 days ago
Inducing Synchronous Grammars with Slice Sampling
This paper describes an efficient sampler for synchronous grammar induction under a nonparametric Bayesian prior. Inspired by ideas from slice sampling, our sampler is able to dra...
Phil Blunsom, Trevor Cohn
CVPR
1997
IEEE
15 years 6 months ago
Completion Energies and Scale
ÐThe detection of smooth curves in images and their completion over gaps are two important problems in perceptual grouping. In this study, we examine the notion of completion ener...
Eitan Sharon, Achi Brandt, Ronen Basri
AAAI
1994
15 years 3 months ago
Experience-Aided Diagnosis for Complex Devices
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
Michel P. Féret, Janice I. Glasgow