3690 search results - page 218 / 738 » Computation with classical sequents |
151
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose a novel classification algorithm, called geometrical probability covering (GPC) algorithm, to improve classification ability. On the basis of ...
126
click to vote
MKM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...
127
click to vote
SPIRE
2005
Springer
15 years 10 months ago
2005
Springer
Let A and B be strings with lengths m and n, respectively, over a finite integer alphabet. Two classic string mathing problems are computing the edit distance between A and B, and...
157
Voted
AWCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper proposes Particle Swarm Optimization (PSO) algorithm to discover classification rules. The potential IF-THEN rules are encoded into real-valued particles that...
135
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...