1141 search results - page 221 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
JCDL
2004
ACM
15 years 5 months ago
2004
ACM
Creating, maintaining, or using a digital library requires the manipulation of digital documents. Information workspaces provide a visual representation allowing users to collect,...
113
click to vote
CLIMA
2004
15 years 1 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
110
click to vote
WWW
2003
ACM
16 years 11 days ago
2003
ACM
Crawling the web is deceptively simple: the basic algorithm is (a) Fetch a page (b) Parse it to extract all linked URLs (c) For all the URLs not seen before, repeat (a)?(c). Howev...
101
click to vote
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
100
click to vote
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
It is now widely recognized that user interactions with search results can provide substantial relevance information on the documents displayed in the search results. In this pape...