CORR
2010
Springer
13 years 8 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents the arguments and supporting business metrics for Enterprise Spreadsheet Management to be seen as a necessary good. These arguments are divided into a summary ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
An optimal constant-composition or constant-weight code of weight w has linear size if and only if its distance d is at
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper proposes some simple propagation rules which give rise to new binary constant-weight codes.
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We propose a new class of game-theoretic models for network formation in which strategies are not directly related to edge choices, but instead correspond more generally to the ex...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
A mathematical model is developed that captures the transport of liquid water in hardened concrete, as well as the chemical reactions that occur between the imbibed water and the r...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We consider the Offline Ad Slot Scheduling problem, where advertisers must be scheduled to sponsored search slots during a given period of time. Advertisers specify a budget constr...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Algorithms are developed for calculating dealiased linear convolution sums without the expense of conventional zero-padding or phase-shift techniques. For one-dimensional in-place ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract--This paper presents a method to reduce the invasiveness of Computer Assisted Orthopaedic Surgery (CAOS) using ultrasound. In this goal, we need to develop a method for 3D...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We obtain improved upper bounds and new lower bounds on the chromatic number as a linear function of the clique number, for the intersection graphs (and their complements) of fini...