1446 search results - page 90 / 290 » Local zero knowledge |
148
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
117
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
117
click to vote
IJAR
2007
15 years 3 months ago
2007
Possibilistic networks are important tools for dealing with uncertain pieces of information. For multiplyconnected networks, it is well known that the inference process is a hard ...
143
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
An approach to high-level interaction with autonomous robots by means of schematic maps is outlined. Schematic maps are knowledge representation structures to encode qualitative s...
107
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Despite the recent advances in planning for classical domains, the question of how to use domain knowledge in planning is yet to be completely and clearly answered. Some ...