119 search results - page 18 / 24 » Classical Linear Logic of Implications |
147
click to vote
MLQ
2010
15 years 4 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
190
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
126
click to vote
MMSEC
2004
ACM
15 years 11 months ago
2004
ACM
This paper outlines a strategy to discriminate different ISO/ MPEG 1 Audio Layer-3 (MP3) encoding programs by statistical particularities of the compressed audio streams. We use ...
122
click to vote
MSS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper investigates ‘complete ignorance’ (CI) in the tradition of the CI literature and provides a characterization of possible attitudes toward ignorance. Pessimism, opti...
144
click to vote
MLDM
2009
Springer
16 years 10 days ago
2009
Springer
A number of two-class classification methods first discretize each attribute of two given training sets and then construct a propositional DNF formula that evaluates to True for ...