8094 search results - page 1505 / 1619 » Improvements in Formula Generalization |
151
click to vote
ACNS
2004
Springer
15 years 9 months ago
2004
Springer
One of the few quantitative metrics used to evaluate the security of a cryptographic file system is the key length of the encryption algorithm; larger key lengths correspond to hig...
185
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
171
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Learning to converge to an efficient, i.e., Pareto-optimal Nash equilibrium of the repeated game is an open problem in multiagent learning. Our goal is to facilitate the learning ...
162
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Distributing scarce resources among agents in a way that maximizes the social welfare of the group is a computationally hard problem when the value of a resource bundle is not lin...
204
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Team decision making under stress involving multiple contexts is an extremely challenging issue faced by various real world application domains. This research is targeted at coupl...