1036 search results - page 133 / 208 » Report on INEX 2009 |
ISMVL
2009
IEEE
15 years 6 months ago
2009
IEEE
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial MaxSAT instances. First, we obtain new direct and (minimal) support en...
IWPC
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a tool called BugFix that can assist developers in fixing program bugs. Our tool automatically analyzes the debugging situation at a statement and reports a prioritize...
IWPC
2009
IEEE
15 years 6 months ago
2009
IEEE
Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...
IWPC
2009
IEEE
15 years 6 months ago
2009
IEEE
Source code obfuscation is a protection mechanism widely used to limit the possibility of malicious reverse engineering or attack activities on a software system. Although several...
ACCV
2009
Springer
15 years 6 months ago
2009
Springer
Accurate image correspondence is crucial for estimating multiple-view geometry. In this paper, we present a registration-based method for improving accuracy of the image correspond...