468 search results - page 76 / 94 » One-Way Functions in Complexity Theory |
100
click to vote
ESOP
2006
Springer
15 years 2 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
74
Voted
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we set the first steps towards the development of a commercially viable tool that uses evolutionary computation to address the Product to Shelf Allocation Problem (P...
106
click to vote
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
109
click to vote
ICDT
2010
ACM
15 years 1 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
EICS
2010
ACM
15 years 1 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI deno...