78 search results - page 6 / 16 » Deciding choreography realizability |
STOC
1998
ACM
13 years 11 months ago
1998
ACM
We introduce and study a modi ed notion of planarity, in which two regions of a map are considered adjacent when they share any point of their boundaries not an edge, as standard...
INTERNET
2006
13 years 7 months ago
2006
: The huge growth of e-commerce has had a profound impact on users who can now choose from an ever increasing number of options online. Inevitably, as the number of choices has inc...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Both in the plane and in space, we invert the nonlinear Ullman transformation for 3 points and 3 orthographic cameras. While Ullman’s theorem assures a unique reconstruction mod...
FUIN
2007
13 years 7 months ago
2007
Abstract. The hierarchy of arbitrary compositions of two-way nondeterministic finite-state transductions collapses when restricted to finitary transductions, i.e., transductions ...
JSAC
2008
13 years 7 months ago
2008
Abstract-- In broadcast fading channel, channel variations can be exploited through what is referred to as multiuser diversity and opportunistic scheduling for improving system per...