688 search results - page 54 / 138 » Types for trees |
200
Voted
ML
2011
ACM
14 years 7 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
101
Voted
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
XML file comparison and clustering are two challenging tasks still accomplished predominantly manually. XML schema contains information about data structure, types, and labels fou...
90
Voted
ANLP
2000
15 years 2 months ago
2000
Arabic inflectional morphology requires infixation, prefixation and suffixation, giving rise to a large space of morphological variation. In this paper we describe an approach to ...
92
Voted
ENTCS
2008
15 years 26 days ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...
115
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...