154 search results - page 8 / 31 » Web Interfaces for Proof Assistants |
MC
2001
13 years 8 months ago
2001
In this paper we present the conception and the evaluation of a visual information seeking system for the Web. Our work has been motivated by the lack of good user interfaces assi...
ASSETS
2007
ACM
13 years 11 months ago
2007
ACM
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Current Network User Interfaces (NUIs) provide entrances to an enormous amount of Web-based services, bringing about new use problems such as laborious and unsuccessful navigation...
ASSETS
2004
ACM
14 years 25 days ago
2004
ACM
Bookmarks are shortcuts that enable quick access of the desired Web content. They have become a standard feature in any browser and recent studies have shown that they can be very...