119 search results - page 13 / 24 » Classical Linear Logic of Implications |
AMAST
2000
Springer
13 years 12 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
ECCC
2006
13 years 7 months ago
2006
Traditional quantum state tomography requires a number of measurements that grows exponentially with the number of qubits n. But using ideas from computational learning theory, we...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
ECIR
2009
Springer
13 years 5 months ago
2009
Springer
This paper investigates the use of fuzzy logic mechanisms coming from the database community, namely graded inclusions, to model the information retrieval process. In this framewor...
DASFAA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...