637 search results - page 98 / 128 » Filtering with Approximate Predicates |
CMA
2010
14 years 7 months ago
2010
This report develops and studies a new family of NSE-regularizations, Tikhonov Leray Regularization with Time Relaxation Models. This new family of turbulence models is based on a...
TSP
2010
14 years 4 months ago
2010
We propose an adaptive technique to design the spectrum of an orthogonal frequency division multiplexing (OFDM) waveform to improve the radar's wideband ambiguity function (WA...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper we describe a deconvolution technique for obtaining an approximation of the neuronal signal from an observed hemodynamic response in fMRI data. Our approach, based o...
STOC
2009
ACM
15 years 10 months ago
2009
ACM
We study integrality gaps for SDP relaxations of constraint satisfaction problems, in the hierarchy of SDPs defined by Lasserre. Schoenebeck [25] recently showed the first integra...
101
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...