1219 search results - page 120 / 244 » Verification of Equivalent-Results Methods |
136
Voted
MVA
1994
15 years 4 months ago
1994
This paper presents an efficient extraction method of closed loops as primitive symbols of line drawings, and an robust line drawing understanding system incorporating this extrac...
121
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents the novel insight that the SLAM information matrix is exactly sparse in a delayedstate framework. Such a framework is used in view-based representations of ...
145
click to vote
PAMI
2006
15 years 3 months ago
2006
This paper describes a novel solution to the rigid point pattern matching problem in Euclidean spaces of any dimension. Although we assume rigid motion, jitter is allowed. We pres...
135
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
242
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...