338 search results - page 21 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
146
click to vote
HYBRID
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
192
click to vote
ACML
2009
Springer
16 years 19 days ago
2009
Springer
Real-world face recognition systems are sometimes confronted with degraded face images, e.g., low-resolution, blurred, and noisy ones. Traditional two-step methods have limited per...
175
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a novel approach to solve the constrained unit commitment problem using Selective Self-Adaptive Ant System (SSAS) for improving search performance by automatic...
190
click to vote
MMSEC
2006
ACM
15 years 12 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
136
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Our previous work has introduced a hyperheuristic (HH) approach based on Genetic Programming (GP). There, GP employs usergiven languages where domain-specific local heuristics ar...