689 search results - page 1 / 138 » Focusing in Linear Meta-logic |
ENTCS
2008
13 years 4 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
The paper firstly analyses the error caused by the linear trajectory model and the Fresnel approximation because of the long synthetic aperture time in Geosynchronous Synthetic Ap...
ACL
2010
13 years 2 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
ICIP
2000
IEEE
2000
IEEE
Inverse Filters for Reconstruction of Arbitrarily Focused Images from two Differently Focused Images
14 years 6 months ago
This paper describes a novel ltering method to reconstruct an arbitrarily focused image from two dierently focused images. Based on the assumption that image scene has two layers...