7988 search results - page 84 / 1598 » A Useful Undecidable Theory |
129
click to vote
AML
2008
15 years 5 months ago
2008
Leo Harrington showed that the second-order theory of arithmetic WKL0 is 1 1-conservative over the theory RCA0. Harrington's proof is model-theoretic, making use of a forcing...
145
Voted
ECCV
2000
Springer
16 years 7 months ago
2000
Springer
The Singular Value Decomposition (SVD) of a matrix is a linear algebra tool that has been successfully applied to a wide variety of domains. The present paper is concerned with the...
240
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
146
click to vote
ICNP
2002
IEEE
15 years 10 months ago
2002
IEEE
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
152
Voted
ICCV
1998
IEEE
15 years 9 months ago
1998
IEEE
Conventional video cameras have limited elds of view which make them restrictive for certain applications in computational vision. A catadioptric sensor uses a combination of lens...