Sciweavers

595 search results - page 44 / 119
» Session 7: Demonstrations
Sort
View
ICIP
2003
IEEE
15 years 11 months ago
Fast Feldkamp algorithm for cone-beam computer tomography
We propose a new fast Feldkamp algorithm for 3-D cone beam tomography with a circular source trajectory. The algorithm is an extension of our recent fast native 2-D fan-beam recon...
Shu Xiao, Yoram Bresler, David C. Munson Jr.
66
Voted
ICIP
2002
IEEE
15 years 11 months ago
A two-stage multiple description video coder with drift-preventing motion compensated prediction
In this paper, we propose a very simple, but efficient two-stage MDC in the central prediction loop based on Reibman's threeprediction-loop structure [7]. In our design, an a...
Yen-Chi Lee, Yucel Altunbasak, Russell M. Merserea...
ICIP
2001
IEEE
15 years 11 months ago
A new efficient algorithm for fitting of rectangles and squares
In this paper, we introduce a completely new approach to fitting rectangles and squares to given closed regions using our published ideas in [6], [7], [8]. In these papers, we hav...
Herbert Süße, Klaus Voss
DAC
2007
ACM
15 years 10 months ago
Layered Switching for Networks on Chip
We present and evaluate a novel switching mechanism called layered switching. Conceptually, the layered switching implements wormhole on top of virtual cut-through switching. To s...
Zhonghai Lu, Ming Liu, Axel Jantsch
ESOP
2010
Springer
15 years 7 months ago
Explicit Stabilisation for Modular Rely-Guarantee Reasoning
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
John Wickerson, Matthew J. Parkinson, Mike Dodds