1705 search results - page 3 / 341 » Representing Constraints with Automata |
GEOINFO
2004
13 years 7 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
FSTTCS
2009
Springer
14 years 11 days ago
2009
Springer
ABSTRACT. We continue the study of bottom-up unranked tree automata with equality and disequality constraints between direct subtrees. In particular, we show that the emptiness pro...
ICTAC
2009
Springer
14 years 11 days ago
2009
Springer
Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...
ICTAC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
ASPDAC
2005
ACM
13 years 7 months ago
2005
ACM
— Quantum-dot Cellular Automata (QCA) is a novel computing mechanism that can represent binary information based on spatial distribution of electron charge configuration in chem...