342 search results - page 13 / 69 » Compositional Testing with ioco |
EC
2008
13 years 7 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
SIAMCO
2008
13 years 7 months ago
2008
We propose an alternative to the classical post-treatment of the homogenization method for shape optimization. Rather than penalize the material density once the optimal composite ...
JLP
2008
13 years 7 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
ACL
2009
13 years 5 months ago
2009
A collection of 3208 reported errors of Chinese words were analyzed. Among which, 7.2% involved rarely used character, and 98.4% were assigned common classifications of their caus...
ICIP
1997
IEEE
13 years 11 months ago
1997
IEEE
A new algorithm is introduced that performs spatially adaptive enhancement on low-light visible and infrared images of the same scene and fusion of these into one composite image....