655 search results - page 9 / 131 » Contrasting the Contrast Sets: An Alternative Approach |
IJCV
2006
13 years 6 months ago
2006
In this paper, we make two contributions to the field of level set based image segmentation. Firstly, we propose shape dissimilarity measures on the space of level set functions wh...
GVD
2004
13 years 8 months ago
2004
Caching is a proven means to improve scalability and availability of software systems as well as to reduce latency of user requests. In contrast to Web caching where single Web ob...
ECSQARU
2007
Springer
13 years 10 months ago
2007
Springer
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
IWPEC
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turne...
SPIN
2012
Springer
11 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...