108 search results - page 22 / 22 » XML reasoning made practical |
TIP
2010
2010
Automatic Parameter Selection for Denoising Algorithms Using a No-Reference Measure of Image Content
12 years 11 months ago
Across the field of inverse problems in image and video processing, nearly all algorithms have various parameters which need to be set in order to yield good results. In practice, ...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
POPL
2011
ACM
12 years 7 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...