CORR
2002
Springer
13 years 11 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
CORR
2002
Springer
13 years 11 months ago
2002
Springer
CORR
2002
Springer
13 years 11 months ago
2002
Springer
We rephrase the problem of 3D reconstruction from images in terms of intersections of projections of orbits of custom built Lie groups actions. We then use an algorithmic method b...
CORR
2002
Springer
13 years 11 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
CORR
2002
Springer
13 years 11 months ago
2002
Springer
CORR
2002
Springer
13 years 11 months ago
2002
Springer
CORR
2002
Springer
13 years 11 months ago
2002
Springer
The paper gives a polynomial description of the Rijndael Advanced Encryption Standard recently adopted by the National Institute of Standards and Technology. Special attention is ...
CORR
2002
Springer
13 years 11 months ago
2002
Springer
CORR
2002
Springer
13 years 11 months ago
2002
Springer
Robert French has argued that a disembodied computer is incapable of passing a Turing Test that includes subcognitive questions. Subcognitive questions are designed to probe the n...
CORR
2002
Springer
13 years 11 months ago
2002
Springer
