3044 search results - page 272 / 609 » Linear logical approximations |
184
click to vote
FCT
2005
Springer
16 years 6 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
167
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
167
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
A regression model in the tensorPCA subspace is proposed in this paper for face super-resolution reconstruction. An approximate conditional probability model is used for the tenso...
179
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In frequency division duplex transceivers the transmit signal is leaking through the duplexer into the receive branch. For the case of Zero-IF receivers the nonlinearit...
151
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a waveform based variational static timing analysis methodology. It is a timing paradigm that lies midway between convention static delay approximations and full dyn...