2273 search results - page 131 / 455 » On the Expressiveness and Complexity of ATL |
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Adaptive modulation scheme has been widely used in multipleinput multiple-output (MIMO) systems to enhance spectral efficiency while maintaining bit-error rate (BER) under a targ...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
FOSSACS
2007
Springer
15 years 4 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...