Adaptive simulated annealing (ASA) is a global optimization algorithm based on an associated proof that the parameter space can be sampled much more efficiently than by using othe...
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...
David Van Campenhout, Trevor N. Mudge, John P. Hay...
Agent technologies have steadily matured in moving from the research laboratory to industrial application over the last ten years. Numerous systems have been deployed or are under...
The last dozen years have seen a considerable investment of resources into the research and development of Group Support Systems (GSS) technology. This paper describes how a GSS w...
There has been a great deal of success in the last twenty years with the use of cutting plane algorithms to solve specialized integer programming problems. Generally, these algori...