Sciweavers

3145 search results - page 420 / 629
» Algebraic Linear Orderings
Sort
View
IS
2011
15 years 1 months ago
Checking determinism of XML Schema content models in optimal time
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
Pekka Kilpeläinen
JSCIC
2010
150views more  JSCIC 2010»
15 years 1 months ago
A Central Discontinuous Galerkin Method for Hamilton-Jacobi Equations
In this paper, a central discontinuous Galerkin method is proposed to solve for the viscosity solutions of Hamilton-Jacobi equations. Central discontinuous Galerkin methods were or...
Fengyan Li, Sergey Yakovlev
MP
2010
163views more  MP 2010»
15 years 1 months ago
Speeding up IP-based algorithms for constrained quadratic 0-1 optimization
In many practical applications, the task is to optimize a non-linear objective function over the vertices of a well-studied polytope as, e.g., the matching polytope or the travelli...
Christoph Buchheim, Frauke Liers, Marcus Oswald
SIAMCO
2010
115views more  SIAMCO 2010»
15 years 1 months ago
Identification of Hammerstein Systems with Quantized Observations
This work is concerned with identification of Hammerstein systems whose outputs are measured by quantized sensors. The system consists of a memoryless nonlinearity that is polynomi...
Yanlong Zhao, Ji-Feng Zhang, Le Yi Wang, Gang Geor...
TSP
2010
15 years 1 months ago
Markov chain monte carlo detectors for channels with intersymbol interference
In this paper, we propose novel low-complexity soft-in soft-out (SISO) equalizers using the Markov chain Monte Carlo (MCMC) technique. We develop a bitwise MCMC equalizer (b-MCMC) ...
Ronghui Peng, Rong-Rong Chen, Behrouz Farhang-Boro...