5639 search results - page 236 / 1128 » Timed Abstract Non-interference |
152
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
141
click to vote
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Even with the recent advances in multidetector computed tomography (MDCT) imaging techniques, detection of calcified coronary lesions remains a highly tedious task. Noise...
134
click to vote
OTM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Systems supporting situation awareness typically integrate information about a large number of real-world objects anchored in time and space provided by multiple sources....
149
click to vote
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Vandermonde-subspace frequency division multiplexing (VFDM) is a technique for interference cancellation in overlay networks that allows a secondary network to operate si...
102
click to vote
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--This paper investigates throughput-efficient relay ARQ protocols for single carrier MIMO systems with amplify-and-forward relaying. We focus on reducing the multiplexing ...