LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an ex...
ENDM
2008
13 years 4 months ago
2008
This paper studies non-crossing geometric perfect matchings. Two such perfect matchings are compatible if they have the same vertex set and their union is also non-crossing. Our f...
SIROCCO
2010
13 years 6 months ago
2010
This paper studies local-control strategies to estimate the size of a certain event affecting an arbitrary connected subset of nodes in a network. For example, our algorithms allow...
ICMCS
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper studies how audiences should be expressed in a Cyber- theater, in which remotely located persons can direct plays as directors, perform as performers and/or see the per...