Sciweavers

5244 search results - page 807 / 1049
» Structural Complexity of AvgBPP
Sort
View
ISAAC
2001
Springer
104views Algorithms» more  ISAAC 2001»
15 years 11 months ago
Algorithms for Pattern Involvement in Permutations
We consider the problem of developing algorithms for the recognition of a fixed pattern within a permutation. These methods are based upon using a carefully chosen chain or tree ...
Michael H. Albert, Robert E. L. Aldred, Mike D. At...
156
Voted
ISMIR
2001
Springer
117views Music» more  ISMIR 2001»
15 years 11 months ago
Score Processing For MIR
The focus of this paper is on the design and use of a music score representation. The structure of the representation is discussed and illustrated with sample algorithms, includin...
Donncha Ó. Maidín
ISMIR
2001
Springer
181views Music» more  ISMIR 2001»
15 years 11 months ago
GUIDO/MIR - an Experimental Musical Information Retrieval System based on GUIDO Music Notation
Musical databases are growing in number, size, and complexity, and they are becoming increasingly relevant for a broad range of academic as well as commercial applications. The fe...
Holger H. Hoos, Kai Renz, Marko Görg
LPAR
2001
Springer
15 years 11 months ago
A Local System for Classical Logic
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
Kai Brünnler, Alwen Fernanto Tiu
MIS
2001
Springer
81views Multimedia» more  MIS 2001»
15 years 11 months ago
Multimedia Reporting: Building Multimedia Presentations with Query Answers
A multimedia report is a multimedia presentation which integrates data returned by one or more queries to a multimedia database, thus extending the concept of report familiar in tr...
Augusto Celentano, Ombretta Gaggi