11716 search results - page 302 / 2344 » Computable symbolic dynamics |
147
click to vote
ITICSE
2005
ACM
16 years 7 days ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
166
click to vote
ISSAC
2005
Springer
16 years 5 days ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
167
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...
174
click to vote
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
We discuss parametrizations of filter coefficients of scaling functions and compactly supported orthonormal wavelets with several vanishing moments. We introduce the first discr...
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to re...