4488 search results - page 282 / 898 » Properties of NP-Complete Sets |
173
click to vote
LPAR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
155
click to vote
SAS
2007
Springer
16 years 28 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
178
click to vote
WINE
2007
Springer
16 years 27 days ago
2007
Springer
This paper characterizes the family of truthful doublesided auctions. Despite the importance of double-sided auctions to market design, to date no characterization of truthful dou...
148
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
We present a framework for expressing different merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revisi...
176
click to vote
NMR
2004
Springer
16 years 5 days ago
2004
Springer
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...