2465 search results - page 153 / 493 » Automata on Linear Orderings |
JAR
2008
13 years 9 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
BC
2002
13 years 9 months ago
2002
ACT This study presents a computational framework that capitalizes on known human neuromechanical characteristics during limb movements in order to predict man-machine interactions...
NAACL
2010
13 years 7 months ago
2010
Factorization is the operation of transforming a production in a Linear Context-Free Rewriting System (LCFRS) into two simpler productions by factoring out a subset of the nonterm...
SIAMNUM
2010
13 years 4 months ago
2010
In this paper, we study the superconvergence property for the discontinuous Galerkin (DG) and the local discontinuous Galerkin (LDG) methods, for solving one-dimensional time depe...
ICASSP
2009
IEEE
14 years 1 months ago
2009
IEEE
In low bit-rate coders, the near-sample and far-sample redundancies of the speech signal are usually removed by a cascade of a shortterm and a long-term linear predictor. These tw...