5638 search results - page 169 / 1128 » On presence |
165
click to vote
AUSAI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
148
click to vote
COCOA
2007
Springer
16 years 20 days ago
2007
Springer
We consider the problem of connecting given vertex pairs over a stochastic metric graph, each vertex of which has a probability of presence independently of all other ver
138
click to vote
TARK
2007
Springer
16 years 18 days ago
2007
Springer
This paper generalizes the notion of common p-beliefs to situations of ambiguity or Knightian uncertainty. When players have multiple prior beliefs,we show that Aumann’s no-agre...
152
click to vote
TGC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
149
click to vote
VRST
2006
ACM
16 years 13 days ago
2006
ACM
Hand-held computing devices are ubiquitous and have become part of our lives these days. Moreover, hand-held devices are also increasingly being equipped with special sensors and ...