4099 search results - page 225 / 820 » A Framework for Interactive Proof |
186
click to vote
AIPRF
2007
15 years 8 months ago
2007
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
180
click to vote
WCET
2008
15 years 8 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
187
click to vote
EJIS
2008
15 years 6 months ago
2008
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
171
click to vote
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
168
click to vote
HCI
2009
15 years 4 months ago
2009
Personalized contents have been getting more attention from industry and academia due to its effective communicative role in product advertisements. However, there exist potential ...