Sciweavers

168
Voted
ESSIR
2000
15 years 7 months ago
Multilingual Information Access
This workshop attempted to present the state-of-the-art in multilingual information access (MLIA) research and development, including cross-language information retrieval and ques...
Carol Peters, Paraic Sheridan
115
Voted
ESSIR
2000
15 years 7 months ago
Users in Context
Users as actors in interactive information retrieval (IIR) are seen in the contexts of their perceived work tasks and information seeking behaviour. The paper models IIR processes ...
Peter Ingwersen
128
Voted
FOCS
1998
IEEE
15 years 7 months ago
A Tight Characterization of NP with 3 Query PCPs
It is known that there exists a PCP characterization of NP where the verifier makes 3 queries and has a onesided error that is bounded away from 1; and also that 2 queries do not ...
Venkatesan Guruswami, Daniel Lewin, Madhu Sudan, L...
130
Voted
ESORICS
2000
Springer
15 years 7 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...