500 search results - page 46 / 100 » Asynchronous Search with Aggregations |
FROCOS
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
ACMICEC
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
HT
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces a new method for linking the world view of the search engine user community with that of the search engine itself. This new method is based on collecting and...
ISM
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a novel low-cost video-on-demand architecture for heterogeneous peer-to-peer networks. The key idea of this architecture is to aggregate peers’ storage and bandwidths...
DRM
2003
Springer
14 years 1 months ago
2003
Springer
We investigate the darknet – a collection of networks and technologies used to share digital content. The darknet is not a separate physical network but an application and protoc...