Sciweavers

7796 search results - page 241 / 1560
» On Generalized Schur Numbers
Sort
View
LPAR
2010
Springer
15 years 4 months ago
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting
Matrix interpretations can be used to bound the derivational complexity of term rewrite systems. In particular, triangular matrix interpretations over the natural numbers are known...
Friedrich Neurauter, Harald Zankl, Aart Middeldorp
CCE
2011
15 years 1 months ago
Modelling and simulation of particle re-suspension in a turbulent square duct flow
The ability of a Reynolds-averaged Navier-Stokes (RANS) approach, coupled with a Lagrangian particle tracking technique, to predict particle re-suspension in a high Reynolds numbe...
J. F. W. Adams, M. Fairweather, J. Yao
TSP
2011
141views more  TSP 2011»
15 years 1 months ago
Algorithms for Interpolation-Based QR Decomposition in MIMO-OFDM Systems
The extension of multiple-input multiple-output (MIMO) sphere decoding from the narrowband case to wideband systems based on orthogonal frequency division multiplexing (OFDM) requ...
Davide Cescato, Helmut Bölcskei
TSP
2011
166views more  TSP 2011»
15 years 1 months ago
On the Hilbert Transform of Wavelets
A wavelet is a localized function having a prescribed number of vanishing moments. In this correspondence, we provide precise arguments as to why the Hilbert transform of a wavele...
Kunal Narayan Chaudhury, Michael Unser
JMLR
2010
218views more  JMLR 2010»
15 years 1 months ago
Simple Exponential Family PCA
Bayesian principal component analysis (BPCA), a probabilistic reformulation of PCA with Bayesian model selection, is a systematic approach to determining the number of essential p...
Jun Li, Dacheng Tao