1672 search results - page 50 / 335 » Interactive Mathematical Documents |
134
Voted
TREC
2003
15 years 4 months ago
2003
In our entry to the new HARD track, we have investigated two methods of interactively refining user search formulations. One method consists of asking the user to select a number ...
110
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
115
Voted
CCIA
2009
Springer
15 years 4 months ago
2009
Springer
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
113
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Much existing documentation is informal and serves to communicate "how-to" knowledge among restricted working groups. Using current practices, such documentation is both...
104
click to vote
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces a novel user interface designed to mitigate some of the usability problems in mobile web access. The interface consists of two side-by-side panels for represe...