Sciweavers

CORR
2002
Springer
128views Education» more  CORR 2002»
13 years 4 months ago
The Deductive Database System LDL++
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...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
CORR
2002
Springer
160views Education» more  CORR 2002»
13 years 4 months ago
Structure from Motion: Theoretical Foundations of a Novel Approach Using Custom Built Invariants
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...
Pierre-Louis Bazin, Mireille Boutin
CORR
2002
Springer
74views Education» more  CORR 2002»
13 years 4 months ago
A logical reconstruction of SPKI
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...
Joseph Y. Halpern, Ron van der Meyden
CORR
2002
Springer
79views Education» more  CORR 2002»
13 years 4 months ago
Multidimensional Network Monitoring for Intrusion Detection
Vladimir Gudkov, Joseph E. Johnson
CORR
2002
Springer
95views Education» more  CORR 2002»
13 years 4 months ago
A Polynomial Description of the Rijndael Advanced Encryption Standard
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 ...
Joachim Rosenthal
CORR
2002
Springer
121views Education» more  CORR 2002»
13 years 4 months ago
Answering Subcognitive Turing Test Questions: A Reply to French
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...
Peter D. Turney