3690 search results - page 161 / 738 » Computation with classical sequents |
100
click to vote
CIE
2005
Springer
15 years 6 months ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
92
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
In order to overcome the low convergence speed and prematurity of classical genetic algorithm, an improved method named directional self-learning of genetic algorithm (DSLGA) is p...
80
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Given two arc-annotated sequences (S, P) and (T, Q) representing RNA structures, the Arc-Preserving Subsequence (APS) problem asks whether (T, Q) can be obtained from (S,...
113
Voted
ISVC
2005
Springer
15 years 6 months ago
2005
Springer
We present a hybrid classification method applicable to gesture recognition. The method combines elements of Hidden Markov Models (HMM) and various Dynamic Programming Alignment (...
104
click to vote
ICNC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Through task decomposition and module combination, minmax modular support vector machines (M3 -SVMs) can be successfully used for difficult pattern classification task. ...