4341 search results - page 610 / 869 » Quantitative Model checking |
186
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We propose a novel method for functional segmentation of fMRI data that incorporates multiple functional attributes such as activation effects and functional connectivity, under a ...
190
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
While level sets have demonstrated a great potential for 3D medical image segmentation, their usefulness has been limited by two problems. First, 3D level sets are relatively slow ...
180
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Mechanical models for soft human organs are necessary for a variety of medical applications, such as surgical planning, virtual reality surgery simulators, and for diagnostic purpo...
179
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
Many techniques in the social sciences and graph theory deal with the problem of examining and analyzing patterns found in the underlying structure and associations of a group of ...
151
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...