Sciweavers

1223 search results - page 140 / 245
» Semantic Visualization and Meaning Computation
Sort
View
MICCAI
2010
Springer
15 years 2 months ago
Fast and Automatic Heart Isolation in 3D CT Volumes: Optimal Shape Initialization
Abstract. Heart isolation (separating the heart from the proximity tissues, e.g., lung, liver, and rib cage) is a prerequisite to clearly visualize the coronary arteries in 3D. Suc...
Yefeng Zheng, Fernando Vega Higuera, Shaohua Kevin...
ICASSP
2009
IEEE
15 years 1 months ago
A new perceptual quality metric for compressed video
This paper presents a new video quality metric for automatically estimating the perceptual quality of compressed video sequences. Distortion measures such as the mean squared erro...
Abharana Bhat, Iain E. Garden Richardson, C. Sampa...
ICCHP
2004
Springer
15 years 9 months ago
proXimity: Ad-Hoc Networks for Enhanced Mobility
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
Simon Harper, Stephen Pettitt, Carole A. Goble
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
16 years 4 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki
CCS
2004
ACM
15 years 9 months ago
Authenticity by tagging and typing
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei