2658 search results - page 408 / 532 » On efficient balanced codes |
128
click to vote
EUROGP
2003
Springer
15 years 10 months ago
2003
Springer
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
132
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Page-based Linear Genetic Programming (GP) is proposed and implemented with two-layer Subset Selection to address a two-class intrusion detection classification problem a...
132
Voted
CC
2001
Springer
15 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
144
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
159
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
For the past two years the Moving Pictures Expert Group (MPEG), a working group of ISO/IEC, have been developing MPEG-7 [1], the "Multimedia Content Description Interface"...