1302 search results - page 255 / 261 » Soundness in the Public-Key Model |
101
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
ICRA
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
123
click to vote
LPAR
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
71
Voted
BIRTHDAY
1997
Springer
15 years 1 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
114
click to vote
POPL
1992
ACM
15 years 1 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...