4036 search results - page 546 / 808 » Formal Methods |
161
click to vote
APSEC
2006
IEEE
16 years 20 days ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
164
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper is concerned with computing graph edit distance. One of the criticisms that can be leveled at existing methods for computing graph edit distance is that it lacks the fo...
155
click to vote
CISST
2003
15 years 8 months ago
2003
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...
195
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
136
click to vote
AIME
2005
Springer
16 years 5 days ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...