11716 search results - page 52 / 2344 » Computable symbolic dynamics |
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
PDCAT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract— In symbolic computation, polynomial multiplication is a fundamental operation akin to matrix multiplication in numerical computation. We present efficient implementati...
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—This paper proposes a new iterative channel estimation algorithm for known symbol padding (KSP) Orthogonal Frequency Division Multiplexing (OFDM) based on the Expectatio...
160
click to vote
FMOODS
2008
15 years 1 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...