154 search results - page 21 / 31 » Web Interfaces for Proof Assistants |
IUI
2009
ACM
14 years 2 months ago
2009
ACM
Intelligent desktop assistants could provide more help for users if they could learn models of the users’ workflows. However, discovering desktop workflows is difficult becau...
CNSR
2007
IEEE
13 years 11 months ago
2007
IEEE
Search engines have turned into one of the most important services of the Web that are frequently visited by any user. They assist their users in finding appropriate information. ...
WEBIST
2008
13 years 8 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
Current user interfaces for Web search, including browsers and search engine sites, typically treat search as a transient activity. However, people often conduct complex, multique...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
Large organizations with sophisticated infrastructures have large form-based systems that manage the interaction between the user community and the infrastructure. In many cases, ...