3229 search results - page 307 / 646 » Theories with the Independence Property |
230
click to vote
WISE
2008
Springer
16 years 1 months ago
2008
Springer
Semantic relatedness measures quantify the degree in which some words or concepts are related, considering not only similarity but any possible semantic relationship among them. Re...
177
click to vote
WINE
2007
Springer
16 years 25 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...
197
click to vote
JVA
2006
IEEE
16 years 22 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
217
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
168
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...