16666 search results - page 54 / 3334 » Descriptive and Computational Complexity |
131
Voted
DATESO
2008
15 years 5 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
129
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Software components turn out to be a convenient model to build complex applications for scientific computing and to run them on a computational grid. However, deploying complex, co...
104
Voted
ARITH
1997
IEEE
15 years 7 months ago
1997
IEEE
120
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
Repeating sounds and patterns are widely exploited throughout music. However, although analysis and music information retrieval applications are often concerned with processing sp...
109
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...