We present Chora, a P2P web search engine which complements, not replaces, traditional web search by using peers’ web viewing history to recommend useful web sites to queriers. Chora is designed around a two-step paradigm. First, Chora determines which peers to query and then it executes a query across these peers. Each peer uses a desktop search engine to query their local web history and retr...

When we reuse a code fragment in an open source system, it is very important to know the history of the code, such as the code origin and evolution. In this paper, we propose an integrated approach to code history tracking for open source repositories. This approach takes a query code fragment as its input, and returns the code fragments containing the code clones with the query code. It utiliz...

This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the detection of some “non-minimal” interleavings during a depth-first search, and was implemented in TRUST, our cryptographic protocol verifier. We give some experimental results showing that our method can greatly increase the ef...

(51) Int. Cl. G06F 3/00 (2006.01) G06F 3/14 (2006.01) (52) U.S. Cl. ...................... 715/839; 715/716; 715/719; 715/764; 715/835; 715/838; 715/500.1; 715/526; 358/540 (58) Field of Classification Search ................ 345/700, 345/716,717,719,727,764,835,838,839, 345/855; 358/1.1,1.15,1.18,530,540; 705/55; 715/479,500,500.1,501.1,513,526,527, 715/700,716,717,719,727,764,835,838, 715/839...

Pangolins (order Pholidota) are the only mammals covered by scales. We have recently sequenced and analyzed the genomes of two critically endangered Asian pangolin species, namely the Malayan pangolin (Manis javanica) and the Chinese pangolin (Manis pentadactyla). These complete genome sequences will serve as reference sequences for future research to address issues of species conservation and ...

The high rate of change and the unprecedented scale of the Web pose enormous challenges to search engines who wish to provide the most up-to-date and highly relevant information to its users. The VLDB 2000 paper ”The Evolution of the Web and Implications for an Incremental Crawler” tried to address part of this challenge by collecting and analyzing the Web history data and by describing the arc...

In this paper we present an e-librarian service which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index or by using a simple keyword search. We explored the approach to allow the user to formulate a complete question in natural language. Our background theory is composed of three steps. Firstly, there is the linguistic pre-p...

In this paper we are interested in using a first order theorem prover to prove theorems that are formulated in some higher order logic. To this end we present translations of higher order logics into first order logic with flat sorts and equality and give a sufficient criterion for the soundness of these translations. In addition translations are introduced that are sound and complete with resp...

This paper proposes a novel application for estimating the size and evolution of web page populations, based on the capture-recapture experiments, which are predominantly used in wildlife biological studies. The necessary modifications for the web paradigm are explained, while the limitations confronted are discussed. The paper provides the implementation details of the proposed web capture rec...

User interactions with search engines provide many cues that can be leveraged to improve the relevance of search results through personalization. The context information (history of queries, clicked documents, etc.) provides strong signals about users’ search intent, which can be used to personalize the search experience and improve a web search engine. We demonstrate how to generate the semant...