14084 search results - page 2588 / 2817 » A Theory for Game Theories |
203
click to vote
TLDI
2005
ACM
16 years 4 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
194
click to vote
WOSP
2005
ACM
16 years 4 days ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
165
click to vote
WWW
2005
ACM
16 years 4 days ago
2005
ACM
Integrating web sites to provide more efficient services is a very promising way in the Internet. For example searching house for rent based on train system or preparing a holiday...
203
click to vote
ASIACRYPT
2005
Springer
16 years 3 days ago
2005
Springer
Cryptosystems based on the knapsack problem were among the first public-key systems to be invented. Their high encryption/decryption rate attracted considerable interest until it ...
184
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...