Sciweavers

1312 search results - page 98 / 263
» Formally Optimal Boxing
Sort
View
HICSS
2011
IEEE
157views Biometrics» more  HICSS 2011»
13 years 29 days ago
Reusing Relational Queries for Intuitive Decision Optimization
— Decision optimization is used in many applications such as those for finding the best course of action in emergencies. However, optimization solutions require considerable mat...
Alexander Brodsky, Nathan E. Egge, Xiaoyang Sean W...
JPDC
2007
147views more  JPDC 2007»
13 years 9 months ago
Energy optimal data propagation in wireless sensor networks
We propose an algorithm to compute the optimal parameters of a probabilistic data propagation algorithm for wireless sensor networks (WSN). The probabilistic data propagation algo...
Olivier Powell, Pierre Leone, José D. P. Ro...
POPL
2010
ACM
14 years 6 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
SIGMOD
1996
ACM
132views Database» more  SIGMOD 1996»
14 years 1 months ago
Cost-Based Optimization for Magic: Algebra and Implementation
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
Praveen Seshadri, Joseph M. Hellerstein, Hamid Pir...
DAGSTUHL
2007
13 years 10 months ago
Parallel Universes: Multi-Criteria Optimization
In this paper parallel universes are defined by their relation to multi-criteria optimization combined with an explicit or implicit link for the unambiguous identification of an ...
Claus Weihs, Heike Trautmann