Sciweavers

2526 search results - page 307 / 506
» A Comparative Evaluation of Name-Matching Algorithms
Sort
View
ICWE
2005
Springer
15 years 10 months ago
Automatic Optimization of Web Recommendations Using Feedback and Ontology Graphs
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
Nick Golovin, Erhard Rahm
SAT
2005
Springer
123views Hardware» more  SAT 2005»
15 years 10 months ago
Bounded Model Checking with QBF
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
Nachum Dershowitz, Ziyad Hanna, Jacob Katz
WINE
2005
Springer
268views Economy» more  WINE 2005»
15 years 10 months ago
Mining Stock Market Tendency Using GA-Based Support Vector Machines
In this study, a hybrid intelligent data mining methodology, genetic algorithm based support vector machine (GASVM) model, is proposed to explore stock market tendency. In this hyb...
Lean Yu, Shouyang Wang, Kin Keung Lai
GECCO
2004
Springer
100views Optimization» more  GECCO 2004»
15 years 9 months ago
Analysis of the (1+1) EA for a Noisy OneMax
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
Stefan Droste
IJCNLP
2004
Springer
15 years 9 months ago
Deterministic Dependency Structure Analyzer for Chinese
In this paper, we present a deterministic dependency structure analyzer for Chinese. This analyzer implements two algorithms – Yamada and Nivre models – and two sorts of class...
Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto