1631 search results - page 188 / 327 » Uniform Distributed Synthesis |
127
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
A synchronization is a mechanism allowing two or more processes to perform actions at the same time. We study the expressive power of synchronizations gathering more and more proc...
101
click to vote
LOGCOM
2010
15 years 1 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
121
Voted
VTC
2010
IEEE
15 years 1 months ago
2010
IEEE
– This paper provides a partial answer to the question: "what is the best angular density of multipath in MIMO channels?" using the size-asymptotic theory of Toeplitz m...
111
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
For high-density networks, several studies have proposed field-based routing paradigms to uniformly distribute the traffic load throughout the network. However, as network density ...
101
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
We consider Voronoi-like partitions for a team of moving targets distributed in the plane, such that each set in this partition is uniquely associated with a particular moving targ...