This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
This paper presents a novel hybrid segmentation technique incorporating a statistical as well as a geometric model in a unified segmentation scheme for brain tissue segmentation o...
Albert Huang, Rafeef Abugharbieh, Roger Tam, Antho...
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
Seyoung Kim, Padhraic Smyth, Hal S. Stern, Jessica...