2273 search results - page 299 / 455 » On the Expressiveness and Complexity of ATL |
169
click to vote
REFSQ
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
203
click to vote
RR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
140
click to vote
APLAS
2009
ACM
16 years 28 days ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
148
click to vote
HT
2009
ACM
16 years 28 days ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...
214
click to vote
SMA
2009
ACM
16 years 28 days ago
2009
ACM
We examine the problem of computing exactly the Delaunay graph (and the dual Voronoi diagram) of a set of, possibly intersecting, smooth convex pseudo-circles in the Euclidean pla...