133 search results - page 9 / 27 » Recognizing Mathematical Expressions Using Tree Transformati... |
112
click to vote
ISBI
2011
IEEE
14 years 3 months ago
2011
IEEE
Caenorhabditis elegans is an important model organism for the study of molecular mechanisms of development and disease processes, due to its well-known genome and invariant cell l...
116
Voted
IDEAS
2005
IEEE
15 years 5 months ago
2005
IEEE
The recent proliferation of XML-based standards and technologies for managing data on the Web demonstrates the need for effective and efficient management of treestructured data....
105
Voted
PLANX
2007
15 years 1 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
FCT
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...