154 search results - page 4 / 31 » Web Interfaces for Proof Assistants |
IUI
1997
ACM
13 years 11 months ago
1997
ACM
Users build personal information spaces (stored as bookmarks, hotlists, or as a personal page of links) as their WWW-subset and interface to access the World-Wide Web. As the WWW ...
ASSETS
2008
ACM
13 years 8 months ago
2008
ACM
The rapid advancement of World Wide Web (Web) technology and constant need for attractive Websites produce pages that hinder visually impaired users. We assert that understanding ...
SIGDOC
2009
ACM
14 years 1 months ago
2009
ACM
Texts are the media content primarily available on Web sites and applications. However, this heavy use of texts creates an accessibility barrier to those who cannot read fluently...
FUIN
2008
13 years 7 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
ICIA
2007
13 years 9 months ago
2007
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...