🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
Abstract: "This is a collection of papers produced on the Esprit ACQUILEX project which discuss various issues in the acquisition of information from ...
...
Abstract: "Pegasus is a project aimed at the design of an operating systems architecture for scalable distributed multimedia systems and the developme...
Abstract: "The aim of this paper is to harness the mathematical machinery around presheaves for the purposes of process calculi. Joyal, Nielsen and Wi...
Abstract: "The impossibility of tiling the mutilated chess board has been formalized and verified using Isabelle. The formalization is concise because...
Operating System Support for Distributed Multimedia Systems
Abstract: "Sometimes two parties who share a weak secret k (such as a password) wish to share a strong secret s (such as a session key) without reveal...
Abstract: "This paper discusses the Text REtrieval Conferences (TREC) programme as a major enterprise in information retrieval research. It reviews it...
Abstract: "We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and expo...
Abstract: "Computer scientists take an interest in objects or events that can be counted, grouped, timed and synchronized. The computational problems ...