152 search results - page 1 / 31 » Minimality in a Linear Calculus with Iteration |
ENTCS
2008
13 years 4 months ago
2008
System L is a linear version of G
CSL
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
ICASSP
2010
IEEE
13 years 5 months ago
2010
IEEE
Linear prediction of speech based on 1-norm minimization has already proved to be an interesting alternative to 2-norm minimization. In particular, choosing the 1-norm as a convex...
CISS
2008
IEEE
13 years 6 months ago
2008
IEEE
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— Given a fixed network where each node has some given initial value, and under the constraint that each node receives noisy transmissions from its immediate neighbors, we provi...