Sciweavers

12194 search results - page 412 / 2439
» cans 2010
Sort
View
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 7 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
2010
Springer
90views Education» more  CORR 2010»
15 years 7 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
DCC
2010
IEEE
15 years 7 months ago
A characterization of the Grassmann embedding of H(q), with q even
In this note, we characterize the Grassmann embedding of H(q), q even, as the unique full embedding of H(q) in PG(12, q) for which each ideal line of H(q) is contained in a plane....
A. De Wispelaere, Joseph A. Thas, Hendrik Van Mald...
EJC
2010
15 years 7 months ago
The flipping puzzle on a graph
Let S be a connected graph which contains an induced path of n-1 vertices, where n is the order of S. We consider a puzzle on S. A configuration of the puzzle is simply an n-dimen...
Hau-wen Huang, Chih-wen Weng
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 6 months ago
sTeXIDE: An Integrated Development Environment for sTeX Collections
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
Constantin Jucovschi, Michael Kohlhase