1357 search results - page 93 / 272 » Compositional analysis for linear systems |
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
SP
1996
IEEE
14 years 2 months ago
1996
IEEE
We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...
PIMRC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Vandermonde-subspace frequency division multiplexing (VFDM) is a technique for interference cancellation in overlay networks that allows a secondary network to operate si...
TMI
2008
13 years 10 months ago
2008
Abstract--Electrical impedance tomography (EIT) is a developing imaging modality that is beginning to show promise for detecting and characterizing tumors in the breast. At Renssel...
BIRTHDAY
2009
Springer
14 years 5 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...