3670 search results - page 258 / 734 » Linear Recursive Functions |
176
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
197
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Empirical divergence maximization is an estimation method similar to empirical risk minimization whereby the Kullback-Leibler divergence is maximized over a class of functions tha...
138
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe an application of the Legendre transform to communication networks. The Legendre transform applied to max-plus algebra linear systems corresponds to the Fourier transf...
179
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...
155
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
A signal su ers from nonlinear, linear, and additive distortion when transmitted through a channel. Linear equalizers are commonly used in receivers to compensate for linear chann...