BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract: Zur Visualisierung multivariater Daten mit verschiedenen Informationsniveaus (metrisch, nominal, ordinal, hierachisch, verbandsgeordnet, etc.) wird h¨aufig die klassisc...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
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...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
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 ...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
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...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
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...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
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...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...