2887 search results - page 55 / 578 » Name Generation and Linearity |
158
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
129
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a novel discriminative feature transformation, named full-rank generalized likelihood ratio discriminant analysis (fGLRDA), on the grounds of the likelihood ra...
175
click to vote
TCS
2010
15 years 4 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
123
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
148
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...