362 search results - page 13 / 73 » On Bounded-Weight Error-Correcting Codes |
GECCO
2004
Springer
15 years 2 months ago
2004
Springer
PKDD
2009
Springer
15 years 1 months ago
2009
Springer
FCCM
2000
IEEE
15 years 1 months ago
2000
IEEE
INFOCOM
1998
IEEE
15 years 1 months ago
1998
IEEE
CP
1998
Springer
15 years 1 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...