1167 search results - page 220 / 234 » Substitution-closed pattern classes |
CAISE
2004
Springer
14 years 22 days ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
CIKM
2004
Springer
14 years 22 days ago
2004
Springer
A number of content management tasks, including term categorization, term clustering, and automated thesaurus generation, view natural language terms (e.g. words, noun phrases) as...
CONCUR
2004
Springer
14 years 22 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
OOPSLA
2004
Springer
14 years 21 days ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
CBMS
2003
IEEE
14 years 19 days ago
2003
IEEE
Many genetic disorders or possible abnormalities that may occur in the future generations can be predicted through analyzing the shape and morphological characteristics of the chr...