4513 search results - page 625 / 903 » Logic programming with satisfiability |
128
click to vote
SIAMJO
2002
15 years 3 months ago
2002
In this paper we study a Monte Carlo simulation based approach to stochastic discrete optimization problems. The basic idea of such methods is that a random sample is generated and...
126
click to vote
TIT
2002
15 years 3 months ago
2002
Abstract--We adapt methods originally developed in information and coding theory to solve some testing problems. The efficiency of two-stage pool testing of items is characterized ...
121
click to vote
COR
2008
15 years 3 months ago
2008
Locating public services for nomadic population groups is a difficult challenge as the locations of the targeted populations seasonally change. In this paper, the population group...
103
click to vote
MP
2007
15 years 3 months ago
2007
We present a practical approach to Anstreicher and Lee’s masked spectral bound for maximum-entropy sampling, and we describe favorable results that we have obtained with a Branch...
118
Voted
RV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...