1982 search results - page 368 / 397 » Parametricity and dependent types |
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
—Parallelism has often been used to improve the reliability and efficiency of a variety of different engineering systems. In this paper, we quantify the efficiency of paralleli...
121
click to vote
EUROCRYPT
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Derandomization by means of mirrored samples has been recently introduced to enhance the performances of (1, λ)and (1 + 2)-Evolution-Strategies (ESs) with the aim of designing fa...
CEC
2009
IEEE
15 years 2 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...
ISMIR
2001
Springer
15 years 2 months ago
2001
Springer
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...