2956 search results - page 310 / 592 » Databases and Higher Types |
136
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
139
click to vote
SIGECOM
2010
ACM
15 years 9 months ago
2010
ACM
This paper studies —from the perspective of efficient computation— a type of competition that is widespread throughout the plant and animal kingdoms, higher education, politic...
158
click to vote
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Memetic algorithms arise as very effective algorithms to obtain reliable and high accurate solutions for complex continuous optimization problems. Nowadays, high dimens...
165
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
129
click to vote
ACNS
2004
Springer
15 years 8 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...