254 search results - page 4 / 51 » Restarting Tree Automata |
FROCOS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
CSL
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
FOSSACS
2007
Springer
13 years 12 months ago
2007
Springer
Tree automata with one memory have been introduced in
CSR
2007
Springer
13 years 12 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
IJCAI
2007
13 years 7 months ago
2007
Abstract. In this paper, nogood recording is investigated for CSP within the randomization and restart framework. Our goal is to avoid the same situations to occur from one run to ...