396 search results - page 3 / 80 » Factor Automata of Automata and Applications |
GIS
2002
ACM
14 years 10 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...
100
Voted
COLT
2003
Springer
15 years 3 months 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 ļ¬...
82
Voted
FORMATS
2005
Springer
15 years 3 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...
81
Voted
WIA
2004
Springer
15 years 3 months 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, ...
84
Voted
ITP
2010
15 years 2 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...