3735 search results - page 44 / 747 » Order compression schemes |
128
click to vote
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
202
click to vote
ICDE
1995
IEEE
16 years 1 months ago
1995
IEEE
We describe a numbering scheme for versions with alternatives that has a useful lexicographical ordering. The version hierarchy is a tree. By inspection of the version numbers, we...
131
Voted
JSCIC
2010
14 years 7 months ago
2010
In many problems, one wishes to solve the Helmholtz equation in cylindrical or spherical coordinates which introduces variable coefficients within the differentiated terms. Fourth ...
ICCAD
2007
IEEE
2007
IEEE
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
15 years 9 months ago
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...
71
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— A new approach for the association of the well known turbo codes to modulation schemes is presented. This method is designed for flat fading channels. It presents the advantage...