11716 search results - page 113 / 2344 » Computable symbolic dynamics |
171
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a compile-time scheme for partitioning non-rectangular loop nests which consist of inner loops whose bounds depend on the index of the outermost, parallel loop...
180
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...
159
click to vote
LFCS
2007
Springer
16 years 15 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
129
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
We extend the notion of randomness (in the version introduced by Schnorr) to computable Probability Spaces and compare it to a dynamical notion of randomness: typicality. Roughly, ...
174
click to vote
JSAC
2007
15 years 6 months ago
2007
Abstract— We investigate the capacity of opportunistic communication in the presence of dynamic and distributed spectral activity, i.e. when the time varying spectral holes sense...