875 search results - page 80 / 175 » Reasoning about Knowledge and Continuity |
SASO
2010
IEEE
14 years 7 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
TGIS
2008
14 years 9 months ago
2008
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
TIME
1994
IEEE
15 years 1 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
IVA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...