Sciweavers

98 search results - page 14 / 20
» Explicit-State Abstraction: A New Method for Generating Heur...
Sort
View
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
14 years 3 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
ADMA
2006
Springer
110views Data Mining» more  ADMA 2006»
14 years 5 days ago
Learning with Local Drift Detection
Abstract. Most of the work in Machine Learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
João Gama, Gladys Castillo
GECCO
2003
Springer
14 years 1 months ago
Reinforcement Learning Estimation of Distribution Algorithm
Abstract. This paper proposes an algorithm for combinatorial optimizations that uses reinforcement learning and estimation of joint probability distribution of promising solutions ...
Topon Kumar Paul, Hitoshi Iba
ICANNGA
2007
Springer
161views Algorithms» more  ICANNGA 2007»
14 years 9 days ago
Evolutionary Induction of Decision Trees for Misclassification Cost Minimization
Abstract. In the paper, a new method of decision tree learning for costsensitive classification is presented. In contrast to the traditional greedy top-down inducer in the proposed...
Marek Kretowski, Marek Grzes
SWAP
2008
13 years 9 months ago
Building Web Annotation Stickies based on Bidirectional Links
Abstract. We propose a web annotation system which adds the functionality of stickies to web pages and creates bidirectional links between the stickies. The stickies allow for impo...
Hiroyuki Sano, Taiki Ito, Tadachika Ozono, Toramat...