1346 search results - page 169 / 270 » Alternating-time dynamic logic |
203
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
Obscurance and Ambient Occlusion (AO) are popular techniques in both film and games that model how ambient light is shadowed. While it is largely a solved problem for static scen...
201
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
183
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
182
click to vote
CISSE
2007
Springer
16 years 1 months ago
2007
Springer
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
160
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...