2713 search results - page 118 / 543 » Parameterized Tree Systems |
119
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
117
Voted
CIE
2007
Springer
15 years 9 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...
136
Voted
DIAL
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe a system for the retrieval on the basis of layout similarity of document images belonging to collections stored in digital libraries. Layout regions are extracted and ...
113
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
108
Voted
EUSFLAT
2007
15 years 5 months ago
2007
One of the great challenges today is to index videos with high-level semantic concepts or features. The basis of our approach is to use a fuzzy decision trees (FDT) to construct t...