3862 search results - page 718 / 773 » Adaptive Noisy Optimization |
273
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
165
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. With ever increasing amount of available data on protein-protein interaction (PPI) networks and research revealing that these networks evolve at a modular level, discover...
232
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
In this paper, we study the evaluation of skyline queries with partially-ordered attributes. Because such attributes lack a total ordering, traditional index-based evaluation algo...
231
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
166
click to vote
MOBIHOC
2005
ACM
16 years 5 months ago
2005
ACM
: In this paper, we analyze the node scheduling approach of topology control in the context of reliable packet delivery. In node scheduling, only a minimum set of nodes needed for ...