Sciweavers

5401 search results - page 313 / 1081
» Using Versions in GIS
Sort
View
SAS
1994
Springer
15 years 10 months ago
Generating Transformers for Deforestation and Supercompilation
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
Robert Glück, Jesper Jørgensen
LITP
1990
15 years 10 months ago
Infinite Traces
In this paper we provide several new results concerning word and matrix semigroup problems using counter automaton models. As a main result, we prove a new version of Post's c...
Paul Gastin
COCOON
2007
Springer
15 years 10 months ago
Improved Exact Algorithms for Counting 3- and 4-Colorings
Abstract. We introduce a generic algorithmic technique and apply it on decision and counting versions of graph coloring. Our approach is based on the following idea: either a graph...
Fedor V. Fomin, Serge Gaspers, Saket Saurabh
MATA
2000
Springer
107views Communications» more  MATA 2000»
15 years 10 months ago
Active Networks for IPv6 Communication Redirection
In this article, we propose an Active Network mechanism based on IPv6 to forward communications. Indeed, with the use of the Internet Protocol improvements in its version 6, especi...
Mouhamadou Lamine Diagne, Thomas Noël, Jean-J...
WSC
2007
15 years 9 months ago
Folded standardized time series area variance estimators for simulation
We estimate the variance parameter of a stationary simulation-generated process using “folded” versions of standardized time series area estimators. We formulate improved vari...
Claudia Antonini, Christos Alexopoulos, David Gold...