4099 search results - page 149 / 820 » A Framework for Interactive Proof |
CHI
1993
ACM
15 years 2 months ago
1993
ACM
A design rationale (DR) is a representation of the reasoning which has been invested in a design [1]. This short paper describes the use of the QOC Design Space Analysis approach ...
102
click to vote
WOA
2010
14 years 7 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
CORR
2011
Springer
14 years 1 months ago
2011
Springer
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...
107
click to vote
MSCS
2007
14 years 9 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...