Sciweavers

12289 search results - page 568 / 2458
» computing 2006
Sort
View
ER
2006
Springer
83views Database» more  ER 2006»
15 years 10 months ago
Time-Aggregated Graphs for Modeling Spatio-temporal Networks
regated Graphs for Modeling Spatio-Temporal Networks - An Extended Abstract Technical Report Department of Computer Science and Engineering University of Minnesota 4-192 EECS Build...
Betsy George, Shashi Shekhar
ACID
2006
298views Algorithms» more  ACID 2006»
15 years 8 months ago
Congestion Games: Optimization in Competition
In a congestion game, several players simultaneously aim at allocating sets of resources, e.g., each player aims at allocating a shortest path between a source/destination pair in ...
Berthold Vöcking
EGITALY
2006
15 years 8 months ago
A Survey of Digital Mosaic Techniques
Art often provides valuable hints for technological innovations especially in the field of Image Processing and Computer Graphics. In this paper we survey in an unified framework ...
Sebastiano Battiato, Gianpiero di Blasi, Giovanni ...
COMBINATORICS
2006
98views more  COMBINATORICS 2006»
15 years 7 months ago
Shift Equivalence of P-finite Sequences
We present an algorithm which decides the shift equivalence problem for Pfinite sequences. A sequence is called P-finite if it satisfies a homogeneous linear recurrence equation w...
Manuel Kauers
ECEASST
2006
72views more  ECEASST 2006»
15 years 7 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...