32032 search results - page 6106 / 6407 » Verified programming in Guru |
173
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...
154
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
198
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
165
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
192
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
We establish the first polynomial-strength time-space lower bounds for problems in the lineartime hierarchy on randomized machines with two-sided error. We show that for any inte...