1650 search results - page 212 / 330 » The HOM problem is decidable |
140
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
135
click to vote
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
107
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies...
166
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
Data replications is a typical strategy for increasing access performance and data availability in Data Grid systems. Current work on data replication in Grid systems focuses on i...
145
click to vote
IEEECIT
2006
IEEE
15 years 10 months ago
2006
IEEE
Coverage configuration is an important issue in large scale wireless sensor networks (WSNs). Existing coverage configuration methods are generally based on the concept of physical...