154 search results - page 13 / 31 » Web Interfaces for Proof Assistants |
WWW
2008
ACM
14 years 8 months ago
2008
ACM
For many users with a physical or motor disability, using a computer mouse or other pointing device to navigate the web is cumbersome or impossible due to problems with pointing a...
BILDMED
2007
13 years 8 months ago
2007
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
IJMMS
2000
13 years 7 months ago
2000
The challenge for the World Wide Web user is to discover and rediscover useful information from very rich but also very diversified sources in the Web environment. The Web browser...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
In contrast to traditional document retrieval, a web page as a whole is not a good information unit to search because it often contains multiple topics and a lot of irrelevant inf...
IUI
2000
ACM
13 years 11 months ago
2000
ACM
Although a user’s navigation history contains a lot of hidden information about the relationship between web pages and between users, this information is usually not exploited. ...