3994 search results - page 381 / 799 » A Linear Logical Framework |
175
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...
207
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper presents a cross-based framework of performing local multipoint filtering efficiently. We formulate the filtering process as a local multipoint regression problem, c...
197
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
190
click to vote
TLCA
2007
Springer
16 years 28 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
153
click to vote
FSKD
2005
Springer
16 years 10 days ago
2005
Springer
In linear text classification, user feedback is usually used to tune up the representative keywords (RK) for a certain class. Despite some algorithms (e.g. Rocchio) deal well with...