CORR
2010
Springer
13 years 7 months ago
2010
Springer
We discuss the definability of finite graphs in first-order logic with two relation symbols for adjacency and equality of vertices. The logical depth D(G) of a graph G is equal to ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. CG, SYMMLQ, and MINRES are Krylov subspace methods for solving large symmetric systems of linear equations. CG (the conjugate-gradient method) is reliable on positive-def...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The well-known Impossibility Theorem of Arrow asserts that any Generalized Social Welfare Function (GSWF) with at least three alternatives, which satisfies Independence of Irrelev...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
For a sensor network, as tractable spatially-dependent node deployment model is presented with the property that the density is inversely proportional to the sink distance. A stoc...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The classical Tower of Hanoi "puzzle" or "mathematical game", invented by the French mathematician Edouard Lucas in 1883, spans "base 2". The number ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Optimal (v, 4, 2, 1) optical orthogonal codes (OOC) with v <= 75 and v = 71 are classified up to equivalence. One (v, 4, 2, 1) OOC is presented for all v 181, for which an opt...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--Linear receivers are often used to reduce the implementation complexity of multiple antenna systems. In a traditional linear receiver architecture, the receive antennas a...
CORR
2010
Springer
2010
Springer
Offline Signature Identification by Fusion of Multiple Classifiers using Statistical Learning Theory
13 years 7 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 ...