7602 search results - page 47 / 1521 » A New Approach to Base Revision |
172
click to vote
AIR
2005
15 years 6 months ago
2005
A desired capability of automatic problem solvers is that they can explain the results. Such explanations should justify that the solution proposed by the problem solver arises fr...
141
click to vote
WCRE
2005
IEEE
15 years 11 months ago
2005
IEEE
It is a common understanding that identifying the same entity such as module, file, and function between revisions is important for software evolution related analysis. Most softw...
160
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
A new approach is presented for 3D shape recovery of local planar surface patches from two shift/spacevariant defocused images. It is based on a recently proposed technique for in...
136
click to vote
ICPR
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper, we propose a new edge-based text verification approach for video. Based on the investigation of the relation between candidate blocks and their neighbor areas, the ...
199
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...