3713 search results - page 352 / 743 » Quantum Information Theory |
181
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
164
click to vote
CIKM
2009
Springer
16 years 22 days ago
2009
Springer
Ranking is a key problem in many information retrieval (IR) applications, such as document retrieval and collaborative filtering. In this paper, we address the issue of learning ...
131
click to vote
MHCI
2009
Springer
2009
Springer
The use of mobile contact list applications and a context-oriented framework to support their design
16 years 21 days ago
Contact lists are one of the most frequently used applications on mobile devices. They are used not only as contact detail repositories, but also as temporary information storage ...
149
click to vote
HT
2009
ACM
16 years 20 days ago
2009
ACM
While weblogs have been conceptualised as personal thinking spaces since their early days, those uses have not been studied in detail. The purpose of this paper is to explore how ...
140
click to vote
SIGDOC
2009
ACM
16 years 19 days ago
2009
ACM
In this paper we analyze the problem of “situating explanations” in user assistance systems. We introduce semantic transparency as a user interface property that enables givin...