CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We study a problem where wireless service providers compete for heterogenous and atomic (non-infinitesimal) wireless users. The users differ in their utility functions as well as ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We describe an equivalence result for network capacity. Roughly, our main result is as follows. Given a network of noisy, independent, memoryless links, a collection of demands can...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The stable marriage (SM) problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more genera...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The stable marriage problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more generally to...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we present a technique for fusion of optical and thermal face images based on image pixel fusion approach. Out of several factors, which affect face recognition perfo...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We propose an online form of the cake cutting problem. This models situations where players arrive and depart during the process of dividing a resource. We show that well known fa...