1699 search results - page 142 / 340 » On the Expressive Power of QLTL |
151
click to vote
EUMAS
2006
15 years 7 months ago
2006
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
175
click to vote
AAAI
1996
15 years 7 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
153
click to vote
JSW
2008
15 years 6 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
165
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--The closed-form exact bit error rate (BER) expressions of generalized orthogonal space-time block codes (OSTBCs) are first derived for quadrature amplitude modulation (QA...
182
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we develop a tractable framework for SINR analysis in downlink heterogeneous cellular networks (HCNs) with flexible cell association policies. The HCN is modeled as...