Segmenting brain from non-brain tissue within magnetic resonance (MR) images of the human head, also known as skull-stripping, is a critical processing step in the analysis of neu...
Gautam Prasad, Anand A. Joshi, Paul M. Thompson, A...
— This paper introduces a novel approach to social behaviour recognition governed by the exchange of non-verbal cues between people. We conduct experiments to try and deduce dist...
Dumebi Okwechime, Eng-Jon Ong, Andrew Gilbert, Ric...
Taking a process research approach, we have followed a government agency in the railroad industry over a six-year-period as they have engaged in an IT-based innovation project. Pr...
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...