11716 search results - page 304 / 2344 » Computable symbolic dynamics |
150
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provide...
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
149
Voted
ENTCS
2006
15 years 6 months ago
2006
This paper discusses numerical experiments of wave front propagation on a flat disk and related results. In particular, notions of extremal rays and wave front caustics are introd...
228
click to vote
MOBILWARE
2010
ACM
15 years 4 months ago
2010
ACM
We propose a new elastic application model that enables the seamless and transparent use of cloud resources to augment the capability of resourceconstrained mobile devices. The sal...
163
click to vote
ESANN
2007
15 years 8 months ago
2007
Abstract. We approach the themes “computing with chaos” and “reservoir computing” in a unified setting. Different neural architectures are mentioned which display chaotic...