Sciweavers

6120 search results - page 378 / 1224
» The Power of Linear Functions
Sort
View
DM
2006
115views more  DM 2006»
15 years 7 months ago
3-Designs from PSL(2, q)
The group PSL(2, q) is 3-homogeneous on the projective line when q is a prime power congruent to 3 modulo 4 and therefore it can be used to construct 3-designs. In this paper, we ...
Peter J. Cameron, Hamid Reza Maimani, G. R. Omidi,...
IANDC
2007
111views more  IANDC 2007»
15 years 7 months ago
Expressiveness and complexity of graph logic
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
Anuj Dawar, Philippa Gardner, Giorgio Ghelli
ICASSP
2010
IEEE
15 years 7 months ago
On the outage and diversity-multiplexing tradeoff of broadcast channels with 1-bit feedback
In this paper, a single antenna downlink channel with K users is analyzed in the presence of Rayleigh flat fading. A limited channel state information (CSI) feedback scheme is co...
Bo Niu, Alexander M. Haimovich
CONCUR
2005
Springer
16 years 1 months ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
ECAI
2010
Springer
15 years 8 months ago
Kernel Methods for Revealed Preference Analysis
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
Sébastien Lahaie