Sciweavers

317 search results - page 11 / 64
» Who gives a tweet
Sort
View
IH
1998
Springer
14 years 1 months ago
The Steganographic File System
Abstract. Users of some systems are at risk of being compelled to disclose their keys or other private data, and this risk could be mitigated if access control mechanisms supported...
Ross J. Anderson, Roger M. Needham, Adi Shamir
IMPERIAL
1993
14 years 27 days ago
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
Roy L. Crole
COCO
2008
Springer
97views Algorithms» more  COCO 2008»
13 years 10 months ago
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...
Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xi...
LREC
2008
91views Education» more  LREC 2008»
13 years 10 months ago
A Guide for the Production of Reusable Language Resources
The project described in this paper is funded by the French Ministry of Research. It aims at providing producers of Language Resources, and HLT players in general, with a guide wh...
Victoria Arranz, Franck Gandcher, Valérie M...
AAAI
2006
13 years 10 months ago
The Tactical Language and Culture Training System: A Demonstration
In this demonstration we will present the Tactical Iraqi, one of the implementations of the Tactical Language and Culture Training System (TLTS). The system helps learners acquire...
André Valente, W. Lewis Johnson, Hannes H&o...