154 search results - page 18 / 31 » Web Interfaces for Proof Assistants |
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
The Internet has become an extremely popular source of entertainment and information. But, despite the growing amount of media content, most Web sites today are designed for acces...
IEEECIT
2007
IEEE
14 years 1 months ago
2007
IEEE
Search engines have become efficient assistants for people to access information on the Web. Some researchers argue that the prevalence of search engines is setting a tough journ...
ECRA
2002
13 years 7 months ago
2002
Existing e-commerce applications on the web provide the users a relatively simple, browser-based interface to access available products. Customers are not provided with the same s...
ASSETS
2008
ACM
13 years 9 months ago
2008
ACM
The World Wide Web (Web) is a visually complex, dynamic, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semant...
ML
2007
ACM
13 years 7 months ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...