4099 search results - page 111 / 820 » A Framework for Interactive Proof |
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents properties and results of a new framework for sequential decision-making in multiagent settings called interactive partially observable Markov decision process...
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
The small form-factor of mobile handsets and the longer, variable latency of cellular networks negatively affect user experience in mobile web related activities. In this paper we...
108
click to vote
CHI
2005
ACM
15 years 10 months ago
2005
ACM
The pervasive adoption of wireless technologies is creating a growing demand for seamless interaction with wireless services. By sharing resources across devices such as PDA'...
ATVA
2008
Springer
14 years 12 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we introduce a group-messaging interface that allows humans to efficiently interact with a group of agents through a hierarchical and customizable text protocol. Our...