370 search results - page 34 / 74 » Mathematical Symbol Indexing |
ISSAC
2007
Springer
15 years 3 months ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
70
Voted
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
91
Voted
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
The estimation and tracking of the fractional carrier frequency offset (CFO) is a crucial issue in the implementation of orthogonal frequency division multiplexing (OFDM) systems....
WWW
2008
ACM
15 years 10 months ago
2008
ACM
All information exchange on the Internet ? whether through full text, controlled vocabularies, ontologies, or other mechanisms ? ultimately requires that that an information provi...