CORR
2010
Springer
13 years 4 months ago
2010
Springer
The Lambek-Grishin calculus LG is the symmetric extension of the non-associative Lambek calculus NL. In this paper we prove that the derivability problem for LG is NP-complete.
ICIP
2005
IEEE
14 years 6 months ago
2005
IEEE
In the case of one-dimensional filter banks, symmetric extension is a commonly used technique for constructing nonexpansive transforms of finite-length sequences. In this paper, w...