Sciweavers

6020 search results - page 318 / 1204
» A New Approach to Model Counting
Sort
View
COMPLIFE
2006
Springer
15 years 10 months ago
Set-Oriented Dimension Reduction: Localizing Principal Component Analysis Via Hidden Markov Models
We present a method for simultaneous dimension reduction and metastability analysis of high dimensional time series. The approach is based on the combination of hidden Markov model...
Illia Horenko, Johannes Schmidt-Ehrenberg, Christo...
MCS
2002
Springer
15 years 6 months ago
Stacking with Multi-response Model Trees
We empirically evaluate several state-of-the-art methods for constructing ensembles of classifiers with stacking and show that they perform (at best) comparably to selecting the be...
Saso Dzeroski, Bernard Zenko
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 1 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
ICARCV
2006
IEEE
132views Robotics» more  ICARCV 2006»
16 years 24 days ago
Dynamic Environment Modeling with Gridmap: A Multiple-Object Tracking Application
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
Cheng Chen, Christopher Tay, Christian Laugier, Ka...
PAKDD
2011
ACM
473views Data Mining» more  PAKDD 2011»
15 years 12 days ago
 Finding Rare Classes: Adapting Generative and Discriminative Models in Active Learning
Discovering rare categories and classifying new instances of them is an important data mining issue in many fields, but fully supervised learning of a rare class classifier is pr...
Timothy Hospedales, Shaogang Gong and Tao Xiang