999 search results - page 3 / 200 » On the Decidability of Functional Uncertainty |
GECCO
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. The usual approach to deal with noise present in many realworld optimization problems is to take an arbitrary number of samples of the objective function and use the samp...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
KR
2010
Springer
14 years 7 days ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
CODES
2007
IEEE
14 years 1 months ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...
ENGL
2007
13 years 7 months ago
2007
An uncertainty model for an expensive function greatly improves the effectiveness of a design decision based on the use of a less accurate function. In this paper, we propose a met...