Sciweavers

ACL
1997
13 years 5 months ago
Document Classification Using a Finite Mixture Model
We propose a new method of classifying documents into categories. We define for each category a finite mixture model based on soft clustering of words. We treat the problem of cla...
Hang Li, Kenji Yamanishi
CEC
2009
IEEE
13 years 7 months ago
Detecting change in dynamic fitness landscapes
Abstract--Change detection enables an evolutionary algorithm operating in a dynamic environment to respond with undertaking necessary steps for maintaining its performance. We cons...
Hendrik Richter
CAV
2005
Springer
133views Hardware» more  CAV 2005»
13 years 9 months ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha