12774 search results - page 2255 / 2555 » A Framework for Proof Systems |
173
click to vote
APLAS
2004
ACM
16 years 6 days ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
173
click to vote
IUI
2004
ACM
16 years 6 days ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
160
click to vote
JCDL
2004
ACM
16 years 6 days ago
2004
ACM
Information retrieval (IR) functions serve a critical role in many digital library systems. There are numerous mature IR algorithms that have been implemented and it will be a was...
180
click to vote
SIGIR
2004
ACM
16 years 6 days ago
2004
ACM
Many collaborative music recommender systems (CMRS) have succeeded in capturing the similarity among users or items based on ratings, however they have rarely considered about the...
159
click to vote
SIGMETRICS
2004
ACM
16 years 6 days ago
2004
ACM
Low priority data transfer across the wide area is useful in several contexts, for example for the dissemination of large files such as OS updates, content distribution or prefet...