1641 search results - page 107 / 329 » Termination Analysis with Algorithmic Learning |
141
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, a generic rule induction framework based on trajectory series analysis is proposed to learn the event rules. First the trajectories acquired by a tracking system ar...
142
Voted
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
This paper investigates a novel approach to unsupervised morphology induction relying on community detection in networks. In a first step, morphological transformation rules are a...
128
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
169
Voted
TKDE
2011
14 years 10 months ago
2011
—Discriminant feature extraction plays a central role in pattern recognition and classification. Linear Discriminant Analysis (LDA) is a traditional algorithm for supervised feat...
178
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...