LICS
2012
IEEE
12 years 1 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 11 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
14 years 26 days 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
14 years 5 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...