Sciweavers

1169 search results - page 18 / 234
» Two Ways to Common Knowledge
Sort
View
COSIT
2007
Springer
114views GIS» more  COSIT 2007»
15 years 3 months ago
Spatial Information Extraction for Cognitive Mapping with a Mobile Robot
When animals (including humans) first explore a new environment, what they remember is fragmentary knowledge about the places visited. Yet, they have to use such fragmentary knowl...
Jochen Schmidt, Chee K. Wong, Wai K. Yeap
72
Voted
ENTCS
2006
103views more  ENTCS 2006»
14 years 9 months ago
Static Equivalence is Harder than Knowledge
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
Johannes Borgström
ICSE
2003
IEEE-ACM
15 years 9 months ago
Separation in Theory - Coordination in Practice
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
Torkil Clemmensen, Jacob Nørbjerg
CRYPTO
2001
Springer
125views Cryptology» more  CRYPTO 2001»
15 years 2 months ago
Robust Non-interactive Zero Knowledge
Abstract. Non-Interactive Zero Knowledge (NIZK), introduced by Blum, Feldman, and Micali in 1988, is a fundamental cryptographic primitive which has attracted considerable attentio...
Alfredo De Santis, Giovanni Di Crescenzo, Rafail O...
SPATIALCOGNITION
2000
Springer
15 years 1 months ago
Modelling Navigational Knowledge by Route Graphs
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...
Steffen Werner, Bernd Krieg-Brückner, Theo He...