1312 search results - page 2 / 263 » Formally Optimal Boxing |
CAV
2005
Springer
15 years 3 months ago
2005
Springer
ICTAI
1997
IEEE
15 years 1 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) ...
78
Voted
FPL
2004
Springer
15 years 1 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
15 years 1 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
15 years 3 months 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...