Sciweavers

293 search results - page 21 / 59
» Quantitative analysis of scrolling techniques
Sort
View
114
Voted
ICCV
2001
IEEE
16 years 5 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
15 years 9 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»
15 years 22 days 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
15 years 9 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
88
Voted
CHI
2005
ACM
16 years 3 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...