Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Videos from distributed sources (e.g., broadcasts, podcasts, blogs, etc.) have grown exponentially. Topic threading is very useful for organizing such large-volume information sou...
Time series stored as feature vectors can be indexed by multidimensional index trees like R-Trees for fast retrieval. Due to the dimensionality curse problem, transformations are ...
Color features are among the most important features used in image database retrieval, especially in cases where no additional semantic information is available. Due to its compac...
Diffusion tensor imaging (DTI) measures, such as fractional anisotropy (FA), and trace are very sensitive to noise contained in the acquired diffusion weighted images. Typical iso...