Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
This paper introduces a binarization method based on edge for video text images, especially for images with complex background or low contrast. The binarization method first detec...
We present a class of inexact adaptive multilevel trust-region SQP-methods for the efficient solution of optimization problems governed by nonlinear partial differential equations...
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Approximate policy iteration methods based on temporal differences are popular in practice, and have been tested extensively, dating to the early nineties, but the associated conve...