1312 search results - page 2 / 263 » Formally Optimal Boxing |
CAV
2005
Springer
13 years 11 months ago
2005
Springer
ICTAI
1997
IEEE
13 years 10 months ago
1997
IEEE
Many black box optimization algorithms have sufcient exibility to allow them to adapt to the varying circumstances they encounter. These capabilities are of two primary sorts: 1) ...
FPL
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, we develop a unified theory in analyzing optimal switch box design problems, particularly for the unsolved irregular cases, where different pin counts are allowed on...
PODC
2010
ACM
13 years 10 months ago
2010
ACM
A token is hidden in one of several boxes and then the boxes are locked. The probability of placing the token in each of the boxes is known. A searcher is looking for the token by...
ISOLA
2007
Springer
14 years 11 days ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...