Sciweavers

8728 search results - page 341 / 1746
» On Reduct Construction Algorithms
Sort
View
200
Voted
TACAS
2010
Springer
146views Algorithms» more  TACAS 2010»
16 years 2 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, ...
223
Voted
ICIAR
2005
Springer
16 years 1 months 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 &...
201
Voted
EWCBR
2006
Springer
15 years 11 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
213
Voted
CEC
2008
IEEE
16 years 2 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 ...
AI
2003
Springer
16 years 22 days 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