846 search results - page 152 / 170 » On the Evolution of IMEDIA Implementations |
ICSE
2000
IEEE-ACM
14 years 12 days ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
ITC
1991
IEEE
14 years 10 days ago
1991
IEEE
In diagnosing a failed system, a smart technician would choose tests to be performed based on the context of the situation. Currently, test program sets do not fault-. isolate wit...
GECCO
2010
Springer
14 years 4 days ago
2010
Springer
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
SGP
2007
13 years 11 months ago
2007
Geometric flows are ubiquitous in mesh processing. Curve and surface evolutions based on functional minimization have been used in the context of surface diffusion, denoising, sha...
AIPS
2007
13 years 11 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...