Sciweavers

4542 search results - page 608 / 909
» Unsupervised Feature Selection Using Feature Similarity
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
opaal: A Lattice Model Checker
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...
Andreas Engelbredt Dalsgaard, René Rydhof H...
ICIP
2006
IEEE
16 years 8 months ago
Topic Tracking Across Broadcast News Videos with Visual Duplicates and Semantic Concepts
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...
Winston H. Hsu, Shih-Fu Chang
ICDE
1999
IEEE
209views Database» more  ICDE 1999»
16 years 8 months ago
Efficient Time Series Matching by Wavelets
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 ...
Kin-pong Chan, Ada Wai-Chee Fu
ICPR
2000
IEEE
16 years 7 months ago
Optimal Color Composition Matching of Images
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...
Jianying Hu, Aleksandra Mojsilovic
ISBI
2006
IEEE
16 years 7 months ago
Evaluation of anisotropic filters for diffusion tensor imaging
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...
Jee Eun Lee, Moo K. Chung, Andrew L. Alexander