4814 search results - page 145 / 963 » Combining abstract interpreters |
190
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Let A and B denote cryptographic primitives. A (k, m)robust A-to-B combiner is a construction, which takes m implementations of primitive A as input, and yields an implem...
144
click to vote
MABS
2000
Springer
15 years 10 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...
166
click to vote
IJCV
2006
15 years 6 months ago
2006
Abstract. Over the past few years researchers have been investigating the enhancement of visual tracking performance by devising trackers that simultaneously make use of several di...
157
click to vote
TCC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. A (k; n)-robust combiner for a primitive F takes as input n candidate implementations of F and constructs an implementation of F, which is secure assuming that at least k...
190
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. This paper evaluates strategies to combine multiple segmentations of the same image, generated for example by different segmentation methods or by different human experts...