1641 search results - page 70 / 329 » Termination Analysis with Algorithmic Learning |
180
Voted
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
141
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
Since it is extremely expensive to collect a large volume of handwriting samples, synthesized data are often used to enlarge the training set. We argue that, in order to generate ...
132
click to vote
EDUTAINMENT
2007
Springer
15 years 9 months ago
2007
Springer
Due to the high-dimensionality of motion captured data which resulted in the complexity in motion analysis, a method of motion data processing based on manifold learning was propos...
169
click to vote
JMLR
2008
15 years 3 months ago
2008
Harmonic analysis and diffusion on discrete data has been shown to lead to state-of-theart algorithms for machine learning tasks, especially in the context of semi-supervised and ...
157
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
It was prescriptive that an image matrix was transformed into a vector before the kernel-based subspace learning. In this paper, we take the Kernel Discriminant Analysis (KDA) alg...