94 search results - page 9 / 19 » Linear Higher-Order Pre-Unification |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
EMMCVPR
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We follow recent work by Schoenemann et al. [25] for expressing curvature regularity as a linear program. While the original formulation focused on binary segmentation, w...
ICA
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We present a straightforward way to use temporal decorrelation as preprocessing in linear and post-nonlinear independent component analysis (ICA) with higher order statis...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Antenna selection combined with dual-polarized antennas offers an attractive alternative for realizing higher order multiple-input multiple-output (MIMO) configurations in com...
MOC
2002
13 years 7 months ago
2002
We consider a family of tensor product finite element methods for hyperbolic equations in RN , N 2, which are explicit and generate a continuous approximate solution. The base cas...