As a principled approach to capturing semantic relations of words in information retrieval, statistical translation models have been shown to outperform simple document language m...
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
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...
Inspired by the behaviour of biological receptive fields and the human visual system, a network model based on spiking neurons is proposed to detect edges in a visual image. The st...
Qingxiang Wu, T. Martin McGinnity, Liam P. Maguire...