511 search results - page 79 / 103 » A Methodology for Extending Focusing Frameworks |
POPL
1990
ACM
15 years 1 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
FOCI
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- The dual notions of discernibility and indiscernibility play an important role in intelligent data analysis. While discernibility focuses on the differences, the indisce...
CRYPTO
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The study of deterministic public-key encryption was initiated by Bellare et al. (CRYPTO '07), who provided the "strongest possible" notion of security for...
DBSEC
2007
14 years 11 months ago
2007
In this paper, we take a closer look at the security of outsourced databases (aka Database-as-the-Service or DAS), a topic of emerging importance. DAS allows users to store sensit...
78
Voted
LREC
2010
14 years 11 months ago
2010
The definition of lexical semantic similarity measures has been the subject of lots of works for many years. In this article, we focus more specifically on distributional semantic...