Sciweavers

BIRTHDAY
2003
Springer
13 years 9 months ago
Java Applets for the Dynamic Visualization of Voronoi Diagrams
We discuss the design of Java applets that visualize how the Voronoi diagram of n points continuously changes as individual points are moved across the plane, or as the underlying...
Christian Icking, Rolf Klein, Peter Köllner, ...
BIRTHDAY
2003
Springer
13 years 9 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
BIRTHDAY
2003
Springer
13 years 9 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
BIRTHDAY
2003
Springer
13 years 9 months ago
Eine neue Methode zur Visualisierung qualitativer Daten
Abstract: Zur Visualisierung multivariater Daten mit verschiedenen Informationsniveaus (metrisch, nominal, ordinal, hierachisch, verbandsgeordnet, etc.) wird h¨aufig die klassisc...
Jürgen Hansohm
BIRTHDAY
2003
Springer
13 years 9 months ago
Distributed Cooperation and Adversity: Complexity Trade-Offs
The problem of cooperatively performing a collection of tasks in a decentralized setting where the computing medium is subject to adversarial perturbations is one of the fundament...
Chryssis Georgiou, Alexander Russell, Alexander A....
BIRTHDAY
2003
Springer
13 years 9 months ago
On the Computational Complexity of Hierarchical Radiosity
The hierarchical radiosity algorithm is an efficient approach to simulation of light with the goal of photo-realistic image rendering. Hanrahan et. al. describe the initialization ...
Robert Garmann, Heinrich Müller
BIRTHDAY
2003
Springer
13 years 9 months ago
Route Planning and Map Inference with Global Positioning Traces
Stefan Edelkamp, Stefan Schrödl
BIRTHDAY
2003
Springer
13 years 9 months ago
Bounded Fairness
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park
BIRTHDAY
2003
Springer
13 years 9 months ago
Using Alternating Words to Describe Symbolic Pictures
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
Gennaro Costagliola, Vincenzo Deufemia, Filomena F...
BIRTHDAY
2003
Springer
13 years 9 months ago
Area and Perimeter Derivatives of a Union of Disks
Abstract. We give analytic inclusion-exclusion formulas for the area and perimeter derivatives of a union of finitely many disks in the plane. Keywords. Disks, Voronoi diagram, al...
Ho-Lun Cheng, Herbert Edelsbrunner