396 search results - page 3 / 80 » Factor Automata of Automata and Applications |
GIS
2002
ACM
13 years 7 months ago
2002
ACM
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
COLT
2003
Springer
14 years 21 days ago
2003
Springer
The application of statistical methods to natural language processing has been remarkably successful over the past two decades. But, to deal with recent problems arising in this ļ¬...
FORMATS
2005
Springer
14 years 1 months ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
WIA
2004
Springer
14 years 24 days ago
2004
Springer
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang Ā School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...
ITP
2010
13 years 11 months ago
2010
The Isabelle Collections Framework (ICF) provides a uniļ¬ed framework for using veriļ¬ed collection data structures in Isabelle/HOL formalizations and generating eļ¬cient functi...