Sciweavers

3047 search results - page 351 / 610
» A Temporal Consensus Model
Sort
View
ISBI
2009
IEEE
16 years 1 months ago
A Shape-Navigated Image Deformation Model for 4D Lung Respiratory Motion Estimation
Intensity modulated radiation therapy (IMRT) for cancers in the lung remains challenging due to the complicated respiratory dynamics. We propose a shape-navigated dense image defo...
Xiaoxiao Liu, Rohit R. Saboo, Stephen M. Pizer, Gi...
GLVLSI
2009
IEEE
150views VLSI» more  GLVLSI 2009»
16 years 1 months ago
Contradictory antecedent debugging in bounded model checking
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
Daniel Große, Robert Wille, Ulrich Kühn...
ICC
2009
IEEE
182views Communications» more  ICC 2009»
16 years 1 months ago
Content Clustering Based Video Quality Prediction Model for MPEG4 Video Streaming over Wireless Networks
— The aim of this paper is quality prediction for streaming MPEG4 video sequences over wireless networks for all video content types. Video content has an impact on video quality...
Asiya Khan, Lingfen Sun, Emmanuel C. Ifeachor
ICIP
2008
IEEE
16 years 29 days ago
Dynamic background modeling and subtraction using spatio-temporal local binary patterns
Traditional background modeling and subtraction methods have a strong assumption that the scenes are of static structures with limited perturbation. These methods will perform poo...
Shengping Zhang, Hongxun Yao, Shaohui Liu
AIME
2007
Springer
16 years 22 days ago
The Role of Model Checking in Critiquing Based on Clinical Guidelines
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
Perry Groot, Arjen Hommersom, Peter J. F. Lucas, R...