1237 search results - page 40 / 248 » Abstract shade trees |
137
click to vote
DAM
2000
15 years 4 months ago
2000
Abstract. The amalgamation of leaf-labelled (phylogenetic) trees on overlapping leaf sets into one (super)tree is a central problem in several areas of classification, particularly...
126
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The complexity of containment and satisfiability of conjunctive queries over finite, unranked, labeled trees is studied with respect to the axes Child, NextSibling, the...
126
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
129
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...
121
click to vote
SOFSEM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...