Sciweavers

1412 search results - page 43 / 283
» types 2004
Sort
View
ISMIR
2004
Springer
106views Music» more  ISMIR 2004»
14 years 2 months ago
Finding Approximate Repeating Patterns from Sequence Data
In this paper, an application of feature extraction from music data is first introduced to motivate our research of finding approximate repeating patterns from sequence data. An a...
Jia-Lien Hsu, Arbee L. P. Chen, Hung-Chen Chen
CAISE
2004
Springer
14 years 2 months ago
Using Ontologies to Compose Transformations of XML Schema Based Documents
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
Johann Eder, Christian Koncilia, Marek Lehmann, Ho...
SAC
2004
ACM
14 years 2 months ago
Type-safe covariance in C++
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...
Vitaly Surazhsky, Joseph Gil
CLEF
2004
Springer
14 years 2 months ago
Toward Cross-Language and Cross-Media Image Retrieval
This report describes the approach used in our participation of ImageCLEF. Our focus is on image retrieval using text, i.e. Cross-Media IR. To do this, we first determine the str...
Carmen Alvarez, Ahmed Id Oumohmed, Max Mignotte, J...
FOSSACS
2004
Springer
14 years 2 months ago
Choice in Dynamic Linking
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
Martín Abadi, Georges Gonthier, Benjamin We...