5775 search results - page 36 / 1155 » A Rationale-based Analysis Tool |
MICCAI
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...
105
click to vote
SIGOPS
2010
14 years 10 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
MICCAI
2004
Springer
16 years 21 days ago
2004
Springer
A software tool for analyzing Diffusion Tensor MRI (DT-MRI) data is presented. The tool includes methods for segmentation of white matter for automatic definition of seed points fo...
ENTCS
2010
14 years 12 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
102
click to vote
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...