15033 search results - page 2702 / 3007 » Complexity Theory and Algorithms |
152
click to vote
INLG
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
180
click to vote
ISAAC
2004
Springer
16 years 1 days ago
2004
Springer
We propose a space-efficient scheme for summarizing multidimensional data streams. Our sketch can be used to solve spatial versions of several classical data stream queries effici...
183
click to vote
ISMIR
2004
Springer
16 years 1 days ago
2004
Springer
The IMIRSEL (International Music Information Retrieval Systems Evaluation Laboratory) project provides an unprecedented platform for evaluating Music Information Retrieval (MIR) a...
193
click to vote
LATIN
2004
Springer
16 years 1 days ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
173
click to vote
LCPC
2004
Springer
16 years 1 days ago
2004
Springer
As computing platforms become more and more complex, the task of optimizing performance critical codes becomes more challenging. Recently, more attention has been focused on automa...