Sciweavers

2370 search results - page 352 / 474
» The Characterization of Data-Accumulating Algorithms
Sort
View
ISMIR
2005
Springer
118views Music» more  ISMIR 2005»
15 years 3 months ago
New Music Interfaces for Rhythm-Based Retrieval
In the majority of existing work in music information retrieval (MIR) the user interacts with the system using standard desktop components such as the keyboard, mouse or sometimes...
Ajay Kapur, Richard I. McWalter, George Tzanetakis
MIDDLEWARE
2005
Springer
15 years 3 months ago
Functional and architectural adaptation in pervasive computing environments
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
Nanjangud C. Narendra, Umesh Bellur, S. K. Nandy, ...
VMCAI
2005
Springer
15 years 3 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
WAIM
2005
Springer
15 years 3 months ago
An Ontology Based Approach to Construct Behaviors in Web Information Systems
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
Lv-an Tang, Hongyan Li, Zhiyong Pan, Dongqing Yang...
ASPLOS
2004
ACM
15 years 3 months ago
Deconstructing storage arrays
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
Timothy E. Denehy, John Bent, Florentina I. Popovi...