Sciweavers

2539 search results - page 239 / 508
» Updates for Structure Indexes
Sort
View
ISMIR
2005
Springer
171views Music» more  ISMIR 2005»
16 years 3 days ago
Detection of Key Change in Classical Piano Music
Tonality is an important aspect of musical structure. Detecting key of music is one of the major tasks in tonal analysis and will benefit semantic segmentation of music for indexi...
Wei Chai, Barry Vercoe
SOFSEM
2004
Springer
15 years 12 months ago
Tree Signatures and Unordered XML Pattern Matching
We propose an efficient approach for finding relevant XML data twigs defined by unordered query tree specifications. We use the tree signatures as the index structure and find...
Pavel Zezula, Federica Mandreoli, Riccardo Martogl...
FORMATS
2003
Springer
15 years 12 months ago
Formal Semantics of Hybrid Chi
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man...
ICDE
2007
IEEE
148views Database» more  ICDE 2007»
16 years 8 months ago
An Online Approach to Physical Design Tuning
There has been considerable work on automated physical design tuning for database systems. Existing solutions require offline invocations of the tuning tool and depend on DBAs ide...
Nicolas Bruno, Surajit Chaudhuri
PLILP
1994
Springer
15 years 10 months ago
Deriving Residual Reference Count Garbage Collectors
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...
Wolfram Schulte