Sciweavers

1578 search results - page 103 / 316
» Induction of Stable Models
Sort
View
110
Voted
SKG
2006
IEEE
15 years 8 months ago
Knowledge Discovery and Integration Based on A Novel Neural Network Ensemble Model
This article explores the utility of neural network ensembles in knowledge discovery and integration. A novel neural network ensemble model KBNNE (Knowledge-Based Neural Network E...
Yong Wang, Hong-Jie Xing
57
Voted
ASPDAC
2004
ACM
92views Hardware» more  ASPDAC 2004»
15 years 8 months ago
Modeling of coplanar waveguide for buffered clock tree
—Owing to inductive effect, coplanar waveguide (CPW) is widely used to achieve signal integrity in high performance clock designs. In this paper, we first propose a piece-wise l...
Jun Chen, Lei He
123
Voted
ICCBR
2003
Springer
15 years 8 months ago
Combining Case-Based and Model-Based Reasoning for Predicting the Outcome of Legal Cases
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...
Stefanie Brüninghaus, Kevin D. Ashley
155
Voted
SP
1999
IEEE
194views Security Privacy» more  SP 1999»
15 years 7 months ago
Detecting Intrusions using System Calls: Alternative Data Models
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
Christina Warrender, Stephanie Forrest, Barak A. P...
113
Voted
DAC
2010
ACM
15 years 6 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare