688 search results - page 9 / 138 » Types for trees |
46
Voted
IPL
2006
15 years 20 days ago
2006
We obtain bounds for the coloring numbers of products of trees for three closely related types of colorings: acyclic, distance 2, and L(2, 1).
98
Voted
NAACL
2007
15 years 2 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
218
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
127
click to vote
TELSYS
2002
15 years 10 days ago
2002
Native multicast routing protocols have been built and deployed using two basic types of trees: singlesource, shortest-path trees and shared, core-based trees. Core-based multicas...
106
Voted
DM
2007
15 years 20 days ago
2007
Natural Dowling analogues of the complex of phylogenetic trees are studied. Using discrete Morse theory, we find their homotopy types. In the process, the homotopy types of certai...