13383 search results - page 2277 / 2677 » Abstractions from proofs |
205
click to vote
MICAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automatic image annotation refers to the process of automatically labeling an image with a predefined set of keywords. Image annotation is an important step of content-ba...
164
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce a value-based noise reduction method for DualEnergy CT applications. It is based on joint intensity statistics estimated from high- and low-energy CT scans o...
155
click to vote
OPODIS
2010
15 years 2 months ago
2010
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...
151
click to vote
PIMRC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--This paper addresses the fairness of Medium Access Control (MAC) protocols that are capable of handling interference on the physical layer to a varying extent. The variat...
156
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...