2218 search results - page 252 / 444 » Testing Expressibility Is Hard |
HOST
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
ICDAR
2009
IEEE
14 years 4 months ago
2009
IEEE
We propose a new algorithm for segmentation of off-line handwritten Arabic words. The algorithm segments the connected letters to smaller segments each of which contains no more t...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Software entropy is a phenomenon where repeated changes gradually degrade the structure of the system, making it hard to understand and maintain. This phenomenon imposes challenge...
EUROGP
2009
Springer
14 years 4 months ago
2009
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in GP from the perspec...
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
We introduce and study the donation center location problem, which has an additional application in network testing and may also be of independent interest as a general graph-theor...