2006 search results - page 400 / 402 » Heuristic Security-Testing Methods |
112
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— We present a unifying framework for continuous optimization and sampling. This framework is based on Gaussian Adaptation (GaA), a search heuristic developed in the late...
114
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
95
Voted
INFORMS
2010
15 years 19 days ago
2010
The concept of dominance among nodes of a branch-decision tree, although known since a long time, is not exploited by general-purpose Mixed-Integer Linear Programming (MILP) enume...
MANSCI
2010
15 years 18 days ago
2010
Retail store managers may not follow order advices generated by an automated inventory replenishment system if their incentives differ from the cost minimization objective of the...
134
Voted
SIGMOD
2010
ACM
15 years 17 days ago
2010
ACM
Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it ...