6693 search results - page 354 / 1339 » Methods of Automatic Algorithm Generation |
232
click to vote
CIKM
2009
Springer
15 years 11 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...
213
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 ...
214
Voted
TYPES
2004
Springer
16 years 15 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...
170
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...
160
click to vote
ACII
2005
Springer
16 years 18 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...