6527 search results - page 139 / 1306 » On Typing Information Flow |
SIGECOM
2004
ACM
14 years 2 months ago
2004
ACM
We provide efficient algorithms for finding approximate BayesNash equilibria (BNE) in graphical, specifically tree, games of incomplete information. In such games an agent’s p...
LFCS
1994
Springer
14 years 1 months ago
1994
Springer
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed -cube [4]. The first is obtained from the latter through applying...
VIS
2005
IEEE
14 years 10 months ago
2005
IEEE
VisIt is a richly featured visualization tool that is used to visualize some of the largest simulations ever run. The scale of these simulations requires that optimizations are in...
INFOCOM
1998
IEEE
14 years 1 months ago
1998
IEEE
ATM-based integrated services networks are likely to rely on the Virtaal Path (VP) concept as an intermediate resource management layer wherein key decisions concerning resource a...
EUROGRAPHICS
2010
Eurographics
13 years 10 months ago
2010
Eurographics
We present a novel method for the synthesis and animation of realistic traffic flows on large-scale road networks. Our technique is based on a continuum model of traffic flow we e...