Sciweavers

8728 search results - page 341 / 1746
» On Reduct Construction Algorithms
Sort
View
TACAS
2010
Springer
146views Algorithms» more  TACAS 2010»
16 years 1 months ago
Ranking Function Synthesis for Bit-Vector Relations
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
Byron Cook, Daniel Kroening, Philipp Rümmer, ...
ICIAR
2005
Springer
16 years 8 days ago
Enhanced Facial Feature Extraction Using Region-Based Super-Resolution Aided Video Sequences
Abstract. Facial feature extraction is a fundamental problem in image processing. Correct extraction of features is essential for the success of many applications. Typical feature ...
Turgay Çelik, Cem Direkoglu, Hüseyin &...
EWCBR
2006
Springer
15 years 10 months ago
Complexity Profiling for Informed Case-Base Editing
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...
Stewart Massie, Susan Craw, Nirmalie Wiratunga
187
Voted
CEC
2008
IEEE
16 years 1 months ago
Correlation clustering based on genetic algorithm for documents clustering
—Correlation clustering problem is a NP hard problem and technologies for the solving of correlation clustering problem can be used to cluster given data set with relation matrix...
Zhenya Zhang, Hongmei Cheng, Wanli Chen, Shuguang ...
157
Voted
AI
2003
Springer
15 years 12 months ago
Explanation-Oriented Association Mining Using a Combination of Unsupervised and Supervised Learning Algorithms
We propose a new framework of explanation-oriented data mining by adding an explanation construction and evaluation phase to the data mining process. While traditional approaches c...
Yiyu Yao, Yan Zhao, R. Brien Maguire