In the physical world, decision making in common navigation strategies is based on a mental map which includes a mental representation of geometric features such as distances and d...
Abstract—The sharing of caches among Web proxies is an important technique to reduce Web traffic and alleviate network bottlenecks. Nevertheless it is not widely deployed due to ...
Li Fan, Pei Cao, Jussara M. Almeida, Andrei Z. Bro...
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
The classification of proteins based on their structure can play an important role in the deduction or discovery of protein function. However, the relatively low number of solved...
Keith Marsolo, Srinivasan Parthasarathy, Chris H. ...
We present the ABLE document collection, which consists of a set of annotated volumes of the Bulletin of the British Museum (Natural History). These were developed during our ongo...
Alistair Willis, David King, David Morse, Anton Di...