4224 search results - page 694 / 845 » Reasoning about Choice |
106
click to vote
AAAI
1990
15 years 2 months ago
1990
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
126
click to vote
AIPS
2009
15 years 2 months ago
2009
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
110
click to vote
BCSHCI
2009
15 years 2 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
101
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
132
click to vote
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...