11716 search results - page 83 / 2344 » Computable symbolic dynamics |
157
click to vote
ISSAC
2007
Springer
16 years 9 days ago
2007
Springer
Symbolic computation with functions of a real variable suffers from combinatorial explosion of memory and computation time. The alternative chebfun system for such computations is...
134
click to vote
ADCM
2010
15 years 6 months ago
2010
We present an algorithm for computation of interpolatory splines of arbitrary order at triadic rational points. The algorithm is based on triadic subdivision of splines. Explicit ...
173
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
165
click to vote
AIIA
2009
Springer
16 years 24 days ago
2009
Springer
This paper addresses the indexing and retrieval of mathematical symbols from digitized documents. The proposed approach exploits Shape Contexts (SC) to describe the shape of mathe...
176
click to vote
WCNC
2008
IEEE
16 years 16 days ago
2008
IEEE
— This paper studies a novel iterative soft interference cancellation (SIC) aided beamforming receiver designed for highthroughput quadrature amplitude modulation systems communi...