Sciweavers

1005 search results - page 33 / 201
» Software Localization: Issues and Methods
Sort
View
JCST
2011
89views more  JCST 2011»
13 years 4 months ago
Software Defect Detection with Rocus
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...
Yuan Jiang, Ming Li, Zhi-Hua Zhou
ICPR
2010
IEEE
14 years 4 months ago
Edge Based Binarization for Video Text Images
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...
Zhiwei Zhou, Linlin Li, Chew-Lim Tan
SIAMJO
2011
13 years 4 months ago
Adaptive Multilevel Inexact SQP Methods for PDE-Constrained Optimization
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...
J. Carsten Ziems, Stefan Ulbrich
SAT
2010
Springer
158views Hardware» more  SAT 2010»
14 years 1 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
CDC
2010
IEEE
136views Control Systems» more  CDC 2010»
13 years 5 months ago
Pathologies of temporal difference methods in approximate dynamic programming
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...
Dimitri P. Bertsekas