9405 search results - page 1609 / 1881 » Computing a Model of Set Theory |
149
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
169
click to vote
ICDM
2007
IEEE
16 years 14 days ago
2007
IEEE
It is crucial to segment customers intelligently in order to offer more targeted and personalized products and services. Traditionally, customer segmentation is achieved using sta...
154
click to vote
AAMAS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
183
click to vote
CONCUR
2007
Springer
16 years 9 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
143
click to vote
FOSSACS
2007
Springer
16 years 9 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...