Sciweavers

7326 search results - page 13 / 1466
» Methods for modalities 3
Sort
View
MIAR
2006
IEEE
14 years 5 months ago
List-Mode Affine Rebinning for Respiratory Motion Correction in PET Cardiac Imaging
Positron Emission Tomography (PET) is an established functional imaging modality but its practical deployment is hampered by motion artefacts. This paper proposes a method for corr...
Adrian James Chung, Paolo G. Camici, Guang-Zhong Y...
FM
2008
Springer
110views Formal Methods» more  FM 2008»
14 years 14 days ago
A Model Checking Language for Concurrent Value-Passing Systems
Modal
Radu Mateescu, Damien Thivolle
APGV
2005
ACM
146views Visualization» more  APGV 2005»
14 years 4 months ago
A similarity-based approach to perceptual feature validation
Which object properties matter most in human perception may well vary according to sensory modality, an important consideration for the design of multimodal interfaces. In this st...
Theresa Cooke, Florian Steinke, Christian Wallrave...
ICMCS
2005
IEEE
77views Multimedia» more  ICMCS 2005»
14 years 4 months ago
Effect of segmentation method on video retrieval performance
This paper presents experiments that evaluate the effect of different video segmentation methods on text-based video retrieval. Segmentations relying on modalities like speech, vi...
David Grangier, Alessandro Vinciarelli
ENTCS
2007
161views more  ENTCS 2007»
13 years 11 months ago
Bialgebraic Methods in Structural Operational Semantics: Invited Talk
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
Bartek Klin