8828 search results - page 1153 / 1766 » Formal methods in practice |
185
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present a broadband two-microphone blind spatial separation technique by efficiently combining adaptive beamforming (ABF) with multichannel blind deconvolution (M...
194
click to vote
KIVS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents several results on dynamic OFDMA systems. It addresses especially the algorithmic complexity involved with several resource allocation approaches, sub-optimal h...
186
click to vote
PPAM
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a case study of numerical simulations in an easy-to-use matrix computation framework named Simple Interface for Library Collections (SILC), which allows users t...
225
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
We investigate randomised algorithms for subset matching with spatial point sets—given two sets of d-dimensional points: a data set T consisting of n points and a pattern P consi...
190
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...