5499 search results - page 214 / 1100 » Generalized Rewrite Theories |
216
click to vote
CIKM
2005
Springer
16 years 22 days ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
212
click to vote
IJCNLP
2005
Springer
16 years 21 days ago
2005
Springer
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...
219
click to vote
ISMIR
2004
Springer
16 years 16 days ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
254
click to vote
LPAR
2004
Springer
16 years 16 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
209
click to vote
OOPSLA
2004
Springer
16 years 16 days ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...