2273 search results - page 243 / 455 » On the Expressiveness and Complexity of ATL |
139
click to vote
DEBU
2008
15 years 6 months ago
2008
Database administrators struggle when managing workloads that have widely different performance requirements. For example, the same database may support short-running OLTP queries...
158
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
143
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This letter derives the asymptotic symbol error rate (SER) and outage probability of multiple-input multiple-output (MIMO) maximum ratio-combining (MRC) systems. We consider Raylei...
148
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The purpose of this paper is to present simple and fast methods for computing control points for polynomial curves and polynomial surfaces given explicitly in terms of polynomials ...
136
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— We consider power allocation algorithms for fixedrate transmission over Nakagami-m non-ergodic block-fading channels with perfect transmitter and receiver channel stat...