3799 search results - page 405 / 760 » An Engineering Approach to Formal Methods |
155
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we propose a novel technique to image completion that addresses image renaissance through a graph-based matching process. To this end, a number of candidate seeds wi...
181
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
284
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
173
Voted
AAAI
1996
15 years 8 months ago
1996
This article advocates a new model for inductive learning. Called sequential induction, it helps bridge classical fixed-sample learning techniques (which are efficient but difficu...
190
click to vote
UAI
1993
15 years 8 months ago
1993
In this paper some initialwork towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reas...