154 search results - page 11 / 31 » Web Interfaces for Proof Assistants |
WISE
2000
Springer
13 years 11 months ago
2000
Springer
Most Internet search engines are keyword-based. They are not efficient for the queries where geographical location is important, such as finding hotels within an area or close to ...
ASSETS
2007
ACM
13 years 11 months ago
2007
ACM
Web browsing is inefficient for blind web users because of persistent accessibility problems, but the extent of these problems and their practical effects from the perspective of ...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
HT
2009
ACM
14 years 1 months ago
2009
ACM
Web pages such as news and shopping sites often use modular layouts. When used effectively this practice allows authors to present clearly large amounts of information in a single...
DEXAW
2007
IEEE
13 years 9 months ago
2007
IEEE
The research presented in this paper is an examination of how the concepts used in process improvement may be applied to a web form to improve design and usability. Although much ...