14403 search results - page 94 / 2881 » Dynamical Systems Trees |
141
click to vote
ACL
1992
15 years 4 months ago
1992
We show that the class of string languages generated by linear context-free rewriting systems is equal to the class of output languages of deterministic treewalking transducers. F...
138
click to vote
ASWEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
111
click to vote
FORTE
2008
15 years 4 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
162
click to vote
EWCBR
2000
Springer
15 years 6 months ago
2000
Springer
This paper proposes a methodology of maintaining Case Based Reasoning (CBR) systems by using fuzzy decision tree induction - a machine learning technique. The methodology is mainly...
107
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Bayesian phylogenetic inference is an important alternative to maximum likelihood-based phylogenetic method. However, inferring large trees using the Bayesian approach is computat...