2273 search results - page 84 / 455 » On the Expressiveness and Complexity of ATL |
CVPR
2005
IEEE
15 years 12 months ago
2005
IEEE
This article introduces the absolute quadratic complex formed by all lines that intersect the absolute conic. If denotes the 3 ? 3 symmetric matrix representing the image of that ...
STACS
2010
Springer
15 years 4 months ago
2010
Springer
The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs wi...
BIOADIT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The responses of flexible bionetworks to extreme environmental changes were studied in several microorganisms. Gene and metabolic networks markedly changed with osmotic ...
CSL
1999
Springer
15 years 2 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
MCU
2004
14 years 11 months ago
2004
Abstract. This paper provides a framework enabling to define and determine the complexity of various universal programs U for various machines. The approach consists of first defin...