Sciweavers

911 search results - page 110 / 183
» The Semantics of Event Prevention
Sort
View
CORR
2010
Springer
139views Education» more  CORR 2010»
14 years 10 months ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard
IJISEC
2008
119views more  IJISEC 2008»
14 years 10 months ago
Estimating the maximum information leakage
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
Alessandro Aldini, Alessandra Di Pierro
ICISS
2009
Springer
14 years 7 months ago
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations
We propose a novel approach for granting partial access on arbitrary objects at the granularity of methods to remote clients. The applications that we target use Remote Method Invo...
Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara
ACL
2011
14 years 1 months ago
Collecting Highly Parallel Data for Paraphrase Evaluation
A lack of standard datasets and evaluation metrics has prevented the field of paraphrasing from making the kind of rapid progress enjoyed by the machine translation community ove...
David Chen, William B. Dolan
SAMT
2007
Springer
211views Multimedia» more  SAMT 2007»
15 years 4 months ago
An Architecture for Mining Resources Complementary to Audio-Visual Streams
Abstract. In this paper we attempt to characterize resources of information complementary to audio-visual (A/V) streams and propose their usage for enriching A/V data with semantic...
Jan Nemrava, Paul Buitelaar, Thierry Declerck, Voj...