Sciweavers

233 search results - page 36 / 47
» Explanation in the Situation Calculus
Sort
View
UIST
2006
ACM
15 years 5 months ago
Phosphor: explaining transitions in the user interface using afterglow effects
Sometimes users fail to notice a change that just took place on their display. For example, the user may have accidentally deleted an icon or a remote collaborator may have change...
Patrick Baudisch, Desney S. Tan, Maxime Collomb, D...
LOGCOM
2007
125views more  LOGCOM 2007»
14 years 11 months ago
Epistemic Actions as Resources
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
SIGDOC
2009
ACM
15 years 5 months ago
Semantic transparency in user assistance systems
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...
Andrea Kohlhase, Michael Kohlhase
86
Voted
DSN
2007
IEEE
15 years 5 months ago
Concilium: Collaborative Diagnosis of Broken Overlay Routes
In a peer-to-peer overlay network, hosts cooperate to forward messages. When a message does not reach its final destination, there are two possible explanations. An intermediate ...
James W. Mickens, Brian D. Noble
IJCNN
2007
IEEE
15 years 5 months ago
Adaptive Dynamic Modularity in a Connectionist Model of Context-Dependent Idea Generation
Abstract— Cognitive control - the ability to produce appropriate behavior in complex situations - is a fundamental aspect of intelligence. It is increasingly evident that this co...
Simona Doboli, Ali A. Minai, Vincent R. Brown