Sciweavers

6881 search results - page 357 / 1377
» Motivation
Sort
View
GD
2001
Springer
15 years 11 months ago
Orthogonal Drawings with Few Layers
In this paper, we study 3-dimensional orthogonal graph drawings. Motivated by the fact that only a limited number of layers is possible in VLSI technology, and also noting that a s...
Therese C. Biedl, John R. Johansen, Thomas C. Sher...
179
Voted
GI
2001
Springer
15 years 11 months ago
Private Information Retrieval
In e-commerce, the protection of user privacy from a server was not considered feasible until the private information retrieval (PIR) problem was stated recently. A PIR protocol a...
Dmitri Asonov
GI
2001
Springer
15 years 11 months ago
Testing Distributed Component Based Systems Using UML/OCL
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
Achim D. Brucker, Burkhart Wolff
ICALP
2001
Springer
15 years 11 months ago
Rational Transformations of Formal Power Series
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
Manfred Droste, Guo-Qiang Zhang
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