3333 search results - page 246 / 667 » New Invariants for Groups |
138
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
98
Voted
EWCBR
2000
Springer
15 years 4 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...
104
click to vote
DICTA
2003
15 years 2 months ago
2003
Abstract. There are many applications such as stereo matching, motion tracking and image registration that require so called ‘corners’ to be detected across image sequences in ...
114
click to vote
CGF
2008
15 years 26 days ago
2008
This paper proposes new methodology for the detection and matching of salient points over several views of an object. The process is composed by three main phases. In the first st...
117
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
This paper presents a new face identification system based on Graph Matching Technique on SIFT features extracted from face images. Although SIFT features have been successfully us...