999 search results - page 39 / 200 » On the Decidability of Functional Uncertainty |
VLDB
1998
ACM
14 years 27 days ago
1998
ACM
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...
MSOM
2010
13 years 3 months ago
2010
The Vaccine and Related Biologic Products Advisory Committee meets at least once a year to decide the composition of the influenza vaccine in the U.S. Past evidence suggests that ...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by ...
ICML
1998
IEEE
14 years 9 months ago
1998
IEEE
Production scheduling, the problem of sequentially con guring a factory to meet forecasted demands, is a critical problem throughout the manufacturing industry. The requirement of...
VISUALIZATION
2003
IEEE
14 years 1 months ago
2003
IEEE
Direct volume rendering of scalar fields uses a transfer function to map locally measured data properties to opacities and colors. The domain of the transfer function is typicall...