Sciweavers

1578 search results - page 103 / 316
» Induction of Stable Models
Sort
View
SKG
2006
IEEE
14 years 4 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
ASPDAC
2004
ACM
92views Hardware» more  ASPDAC 2004»
14 years 3 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
ICCBR
2003
Springer
14 years 3 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
SP
1999
IEEE
194views Security Privacy» more  SP 1999»
14 years 2 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...
DAC
2010
ACM
14 years 2 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