3333 search results - page 79 / 667 » Abstract Proof Search |
114
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Recently, a convergence proof of stochastic search algorithms toward finite size Pareto set approximations of continuous multi-objective optimization problems has been given. The...
93
Voted
MVA
2000
15 years 4 months ago
2000
trieval through Abstract Shape Indication A. Brucale, F. Cesari, M. d'Amico, M. Ferri, P. Frosini, L. Gualandri, M. Guerra, A. Lovato, I. Pace Dip. di Matematica, Universit`a ...
127
Voted
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
118
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
124
click to vote
COCO
2003
Springer
15 years 8 months ago
2003
Springer
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...