8030 search results - page 1017 / 1606 » User Interface |
203
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
205
click to vote
AVI
2004
15 years 8 months ago
2004
Stitching is a new interaction technique that allows users to combine pen-operated mobile devices with wireless networking by using pen gestures that span multiple displays. To st...
235
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we propose a system for helping users to judge the credibility of Web search results and to search for credible Web pages. Conventional Web search engines present o...
193
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Analysis of web site usage data involves two significant challenges: firstly the volume of data, arising from the growth of the web, and secondly, the structural complexity of web...
226
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Except for a handful of "mobile" Web sites, the Web is designed for browsing with personal computers with large screens capable of fitting the content of most Web pages....