Sciweavers

4343 search results - page 415 / 869
» Replication Techniques for Availability
Sort
View
CP
2001
Springer
15 years 11 months ago
Collaborative Learning for Constraint Solving
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
Susan L. Epstein, Eugene C. Freuder
CSL
2001
Springer
15 years 11 months ago
Non-commutativity and MELL in the Calculus of Structures
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
Alessio Guglielmi, Lutz Straßburger
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
ISMIR
2001
Springer
100views Music» more  ISMIR 2001»
15 years 11 months ago
Efficient Multidimensional Searching Routines
The problem of Music Information Retrieval can often be formalized as “searching for multidimensional trajectories”. It is well known that string-matching techniques provide r...
Josh Reiss
ICIP
2000
IEEE
15 years 11 months ago
Joint Geometry/Texture Progressive Coding of 3D Models
Files of 3D models are often large and time-consuming to download. Most 3D viewers need the entire file to display a 3D model even when the user is interested only in a part of or...
Masahiro Okuda, Tsuhan Chen