4099 search results - page 401 / 820 » A Framework for Interactive Proof |
185
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
162
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
To design information visualization tools for collaborative use, we need to understand how teams engage with visualizations during their information analysis process. We report on...
153
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We present an analysis of what we call the community event space, looking at how social events are planned and organized. Based on a series of interviews, field studies, and a foc...
115
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We created a simple-to-use framework to construct gazeresponsive applications using web technology focussing on text. A plugin enables any compatible browser to interpret a new se...
170
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
We review key challenges of developing spoken dialog systems that can engage in interactions with one or multiple participants in relatively unconstrained environments. We outline...