Sciweavers

293 search results - page 21 / 59
» Quantitative analysis of scrolling techniques
Sort
View
ICCV
2001
IEEE
14 years 9 months ago
Segmentation of the Left Ventricle in Cardiac MR Images
This paper describes a segmentation technique to automatically extract the myocardium in 4 0 cardiac M R images for quantitative cardiac analysis and the diagnosis of patients. Th...
Marie-Pierre Jolly, Nicolae Duta, Gareth Funka-Lea
RTAS
2008
IEEE
14 years 2 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
CJ
2010
150views more  CJ 2010»
13 years 5 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
QEST
2007
IEEE
14 years 2 months ago
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
Peter Kemper, Carsten Tepper
CHI
2005
ACM
14 years 8 months ago
Design and analysis of delimiters for selection-action pen gesture phrases in scriboli
We present a quantitative analysis of delimiters for pen gestures. A delimiter is "something different" in the input stream that a computer can use to determine the stru...
François Guimbretière, Gonzalo Ramos...