Sciweavers

CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 8 months ago
Power Allocation Games in Wireless Networks of Multi-antenna Terminals
We consider wireless networks that can be modeled by multiple access channels in which all the terminals are equipped with multiple antennas. The propagation model used to account...
Elena Veronica Belmega, Samson Lasaulce, Mé...
CORR
2008
Springer
121views Education» more  CORR 2008»
13 years 8 months ago
Separability in the Ambient Logic
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 8 months ago
Optimal Scheduling of File Transfers with Divisible Sizes on Multiple Disjoint Paths
In this paper I investigate several offline and online data transfer scheduling problems and propose efficient algorithms and techniques for addressing them. In the offline case, ...
Mugurel Ionut Andreica
CORR
2010
Springer
97views Education» more  CORR 2010»
13 years 8 months ago
Continuation-Passing C, compiling threads to events through continuations
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
Gabriel Kerneis, Juliusz Chroboczek
CORR
2008
Springer
102views Education» more  CORR 2008»
13 years 8 months ago
How Is Meaning Grounded in Dictionary Definitions?
Meaning cannot be based on dictionary definitions all the way down: at some point the circularity of definitions must be broken in some way, by grounding the meanings of certain w...
Alexandre Blondin Massé, Guillaume Chicoisn...
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 8 months ago
On Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
Arnon Avron, Ori Lahav
CORR
2008
Springer
119views Education» more  CORR 2008»
13 years 8 months ago
Atlas-Based Prostate Segmentation Using an Hybrid Registration
Abstract Purpose: This paper presents the preliminary results of a semiautomatic method for prostate segmentation of Magnetic Resonance Images (MRI) which aims to be incorporated i...
Sébastien Martin, Vincent Daanen, Jocelyne ...
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 8 months ago
Coverage games in small cells networks
Abstract: This paper considers the problem of cooperative power control in distributed small cell wireless networks. We introduce a novel framework, based on repeated games, which ...
Mael Le Treust, Hamidou Tembine, Samson Lasaulce, ...
CORR
2008
Springer
115views Education» more  CORR 2008»
13 years 8 months ago
Approximating Multi-Criteria Max-TSP
Abstract. We present randomized approximation algorithms for multicriteria Max-TSP. For Max-STSP with k > 1 objective functions, we obtain an approximation ratio of 1 k - for a...
Markus Bläser, Bodo Manthey, Oliver Putz
CORR
2008
Springer
72views Education» more  CORR 2008»
13 years 8 months ago
Statistical Learning of Arbitrary Computable Classifiers
Statistical learning theory chiefly studies restricted hypothesis classes, particularly those with finite Vapnik-Chervonenkis (VC) dimension. The fundamental quantity of interest i...
David Soloveichik