6693 search results - page 354 / 1339 » Methods of Automatic Algorithm Generation |
209
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Feature weighting or selection is a crucial process to identify an important subset of features from a data set. Removing irrelevant or redundant features can improve the generali...
191
click to vote
TJS
2010
15 years 5 months ago
2010
This paper presents a novel host-based combinatorial method based on k-Means clustering and ID3 decision tree learning algorithms for unsupervised classification of anomalous and ...
193
click to vote
TYPES
2004
Springer
16 years 2 days ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
154
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a two-layer generative model for sport video mining that is composed of a two-layer observation model. The first layer is the Gaussian mixture model (GMM) using framew...
152
click to vote
ACII
2005
Springer
16 years 6 days ago
2005
Springer
To collect data for sign language recognition is not a trivial task. The lack of training data has become a bottleneck in the research of singer independence and large vocabulary r...