1418 search results - page 45 / 284 » How to Explain Mistakes |
139
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Many on-line interaction environments have a large number of users. It is difficult for the participants, especially new ones, to form a clear mental image about those with whom t...
144
click to vote
ICEGOV
2007
ACM
15 years 10 months ago
2007
ACM
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and pr...
201
Voted
AI50
2006
15 years 10 months ago
2006
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...
148
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
187
Voted
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...