Sciweavers

840 search results - page 137 / 168
» XML: From Practice to Theory
Sort
View
MOBIHOC
2010
ACM
13 years 5 months ago
Globs in the primordial soup: the emergence of connected crowds in mobile wireless networks
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
Simon Heimlicher, Kavé Salamatian
AAMAS
2011
Springer
13 years 2 months ago
Manipulation complexity and gender neutrality in stable marriage procedures
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
JSAC
2010
105views more  JSAC 2010»
13 years 2 months ago
Multi-Cell MIMO Cooperative Networks: A New Look at Interference
This paper presents an overview of the theory and currently known techniques for multi-cell MIMO (multiple input multiple output) cooperation in wireless networks. In dense network...
David Gesbert, Stephen V. Hanly, Howard Huang, Shl...
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
13 years 2 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
WIOPT
2011
IEEE
12 years 11 months ago
LIFO-Backpressure achieves near optimal utility-delay tradeoff
There has been considerable recent work developing a new stochastic network utility maximization framework using Backpressure algorithms, also known as MaxWeight. A key open probl...
Longbo Huang, Scott Moeller, Michael J. Neely, Bha...