7758 search results - page 1256 / 1552 » On the Number of Distributive Lattices |
205
click to vote
AAAI
2011
14 years 6 months ago
2011
A common approach in machine learning is to use a large amount of labeled data to train a model. Usually this model can then only be used to classify data in the same feature spac...
188
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
171
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
314
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
215
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
This paper presents a new challenge—verifying that a remote server is storing a file in a fault-tolerant manner, i.e., such that it can survive hard-drive failures. We describe...