5550 search results - page 1060 / 1110 » Different Approaches to Proof Systems |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we cast the image-ranking problem into the task of identifying "authority" nodes on an inferred visual similarity graph and propose an algorithm to analyz...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Dividing web pages into fragments has been shown to provide significant benefits for both content generation and caching. In order for a web site to use fragment-based content gen...
WWW
2002
ACM
15 years 10 months ago
2002
ACM
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Current systems often create socially awkward interruptions or unduly demand attention because they have no way of knowing if a person is busy and should not be interrupted. Previ...
177
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...