2143 search results - page 167 / 429 » corr 2010 |
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
142
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The order bound for the minimum distance of algebraic geometry codes is defined for the dual of one-point codes. A new bound for the minimum distance of linear codes, and for codes...
119
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a realization for the reliable and fast startup of distributed systems written in Erlang. The traditional startup provided by the Erlang/OTP library is sequenti...
162
click to vote
CORR
2010
Springer
2010
Springer
Offline Signature Identification by Fusion of Multiple Classifiers using Statistical Learning Theory
15 years 6 months ago
This paper uses Support Vector Machines (SVM) to fuse multiple classifiers for an offline signature system. From the signature images, global and local features are extracted and ...
147
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a new measure that quantifies the "closeness" between two nodes in a given graph. The calculation of the measure is linear in the number of edges in the graph...