4341 search results - page 683 / 869 » Quantitative Model checking |
178
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Four-dimensional ultrasound based on matrix phased array transducers can capture the complex 4D cardiac motion in a complete and real-time fashion. However, the large amount of in...
172
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a new Bayesian, stochastic tracking algorithm for the segmentation of blood vessels from 3D medical image data. Inspired by the recent developments in particle filterin...
136
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Many surface computing prototypes have employed gestures created by system designers. Although such gestures are appropriate for early investigations, they are not necessarily ref...
164
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
176
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Systems for fast search of personal information are rapidly becoming ubiquitous. Such systems promise to dramatically improve personal information management, yet most are modeled...