Sciweavers

1168 search results - page 93 / 234
» cases 2000
Sort
View
KDD
2000
ACM
77views Data Mining» more  KDD 2000»
14 years 1 months ago
Small is beautiful: discovering the minimal set of unexpected patterns
A drawback of most traditional data mining methods is that they do not leverage prior knowledge of users. In many business settings, managers and analysts have significant intuiti...
Balaji Padmanabhan, Alexander Tuzhilin
DATE
2000
IEEE
78views Hardware» more  DATE 2000»
14 years 2 months ago
HW/SW Codesign of an Engine Management System
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
Massimo Baleani, Alberto Ferrari, Alberto L. Sangi...
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
14 years 2 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
SODA
2004
ACM
160views Algorithms» more  SODA 2004»
13 years 11 months ago
On colorings of squares of outerplanar graphs
We study vertex colorings of the square G2 of an outerplanar graph G. We find the optimal bound of the inductiveness, chromatic number and the clique number of G2 as a function of...
Geir Agnarsson, Magnús M. Halldórsso...
FLAIRS
2000
13 years 11 months ago
Independence Semantics for BKBs
Bayesian KnowledgeBases (BKB)are a rule-based probabilistic modelthat extend BayesNetworks(BN), by allowing context-sensitive independenceand cycles in the directed graph. BKBshav...
Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Ro...