3504 search results - page 517 / 701 » Computational Aspects of Equilibria |
192
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
219
click to vote
CEFP
2007
Springer
16 years 23 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
176
click to vote
ECSQARU
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
166
click to vote
EPEW
2007
Springer
16 years 23 days ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
203
click to vote
CVPR
2009
IEEE
16 years 22 days ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...