Sciweavers

1578 search results - page 151 / 316
» Induction of Stable Models
Sort
View
LICS
2006
IEEE
15 years 6 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
104
Voted
AUSAI
2009
Springer
15 years 4 months ago
Ensemble Approach for the Classification of Imbalanced Data
Ensembles are often capable of greater prediction accuracy than any of their individual members. As a consequence of the diversity between individual base-learners, an ensemble wil...
Vladimir Nikulin, Geoffrey J. McLachlan, Shu-Kay N...
84
Voted
MEDINFO
2007
15 years 2 months ago
The openEHR Java Reference Implementation Project
The openEHR foundation has developed an innovative design for interoperable and future-proof Electronic Health Record (EHR) systems based on a dual model approach with a stable re...
Rong Chen, Gunnar O. Klein
100
Voted
SDM
2007
SIAM
140views Data Mining» more  SDM 2007»
15 years 2 months ago
A General Framework for Mining Concept-Drifting Data Streams with Skewed Distributions
In recent years, there have been some interesting studies on predictive modeling in data streams. However, most such studies assume relatively balanced and stable data streams but...
Jing Gao, Wei Fan, Jiawei Han, Philip S. Yu
84
Voted
SIAMAM
2000
91views more  SIAMAM 2000»
15 years 17 days ago
Competition in a Chemostat with Wall Attachment
Abstract. A mathematical model of microbial competition for limiting nutrient and wallattachment sites in a chemostat, formulated by Freter et al. in their study of the colonizatio...
Eric D. Stemmons, Hal L. Smith