2312 search results - page 170 / 463 » Invariance in Property Testing |
119
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
139
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Finding correspondences between two (widely) separated views is essential for several computer vision tasks, such as structure and motion estimation and object recognition. In the...
136
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents an approach to vision-based simultaneous localization and mapping (SLAM). Our approach uses the scale invariant feature transform (SIFT) as features and app...
128
click to vote
PCM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...
149
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...