Abstract— This paper presents a new hierarchical segmentation of the observed driving behavioral data based on the levels of abstraction of the underlying dynamics. By synthesizi...
Ato Nakano, Hiroyuki Okuda, Tatsuya Suzuki, Shinki...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
—A new feature based nonrigid image registration method for magnetic resonance (MR) brain images is presented in this paper. Each image voxel is represented by a rotation invaria...