1809 search results - page 170 / 362 » Weakly Computable Real Numbers |
126
click to vote
COCO
2005
Springer
15 years 10 months ago
2005
Springer
The inertia of an n × n matrix A is defined as the triple (i+(A), i−(A), i0(A)), where i+(A), i−(A), and i0(A) are the number of eigenvalues of A, counting multiplicities, w...
156
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
110
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper proposes a method to integrate multiple linearpushbroom panoramic images. The integration can be performed in real time. The technique is feasible on planar sc...
125
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Given two simplicial complexes C1 and C2 embedded in Euclidean space IRd , C1 subdivides C2 if (i) C1 and C2 have the same underlying space, and (ii) every simplex in C1 ...
130
click to vote
IPTPS
2004
Springer
15 years 10 months ago
2004
Springer
We propose a new cryptographic technique, Acknowledgment Compression, permitting senders of multicast data to verify that all interested parties have either received the data or l...