Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,950,370 papers from all fields of science
Search
Sign In
Create Free Account
Tree walking automaton
A tree walking automaton (TWA) is a type of finite automaton that deals with tree structures rather than strings. The concept was originally proposed…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Binary tree
Depth-first search
Finite-state machine
Pebble automaton
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
Combined Model Predictive Controller Technique for Enhancing NAO Gait Stabilization
B. Brahmi
,
M. Laraki
,
M. Rahman
,
Islam M. Rasedul
,
M. Uzzaman
2019
Corpus ID: 201113554
The humanoid robot, specifically the NAO robot must be able to provide a highly dynamic performance on the soccer field…
Expand
2014
2014
Peebles Walking Football team plays first challenge match
S. Bell
2014
Corpus ID: 127491599
The first walking football challenge match in the Borders took place on Friday when a team from Peebles faced opponents from…
Expand
2011
2011
Weighted Expressions and DFS Tree Automata
B. Bollig
,
P. Gastin
,
Benjamin Monmege
,
M. Zeitoun
2011
Corpus ID: 1146079
We introduce weighted expressions, a calculus to express quantitative properties over unranked trees. They involve products and…
Expand
2008
2008
Elucidation of the cell division mechanism and characterization of tubulins in the bacterial phylum Verrucomicrobia
M. Pilhofer
2008
Corpus ID: 90875816
This study elucidated the cell division mechanism in the bacterial phylum Verrucomicrobia . In contrast to previous assumptions…
Expand
2007
2007
GROUND REACTION FORCES, REARFOOT MOTION AND WRIST ACCELERATION IN NORDIC WALKING
M. Hagen
,
E. Hennig
,
P. Stieldorf
2007
Corpus ID: 109828651
The aim of this study was to analyze loading parameters in nordic walking (NW) compared to ordinary walking (W) with respect to…
Expand
2007
2007
Kinematic Parameterization of Natural Slope Walking
E. Cordier
,
A. Goswami
,
Mathieu Bourlier
2007
Corpus ID: 17506017
Emmanuel Cordier, Ambarish Goswami, Mathieu Bourlier* INRIA Rhone-Alpes and *University of Joseph Fourier, Grenoble, France 1…
Expand
2006
2006
Properties of Binary Transitive Closure Logics over Trees
Stephan Kepser
2006
Corpus ID: 16264124
Binary transitive closure logic (FOfor short) is the extension of first-order predicate logic by a transitive closure operator of…
Expand
2000
2000
Derivational minimalism in two regular and logical steps
J. Michaelis
,
Uwe Mönnich
,
Frank Morawietz
Tag
2000
Corpus ID: 14144148
In this paper we extend the work by Michaelis (1999) which sho ws how to encode an arbitrary Minimalist Grammar in the sense of…
Expand
1997
1997
Characterization of Properties and Relations defined in Monadic Second Order Logic on the Nodes of T
Roderick Bloem
,
J. Engelfriet
1997
Corpus ID: 14176320
A formula from monadic second order (mso) logic with one free variable can be used to de ne a property of the nodes of a tree…
Expand
1990
1990
Walking Down M.G. Road
T. Ilango
1990
Corpus ID: 187929650