Sciweavers

2962 search results - page 417 / 593
» Reasoning on Association Rules
Sort
View
UAI
2007
15 years 7 months ago
User-Centered Methods for Rapid Creation and Validation of Bayesian Belief Networks
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
Jonathan D. Pfautz, Zach Cox, Geoffrey Catto, Davi...
AMAI
2006
Springer
15 years 6 months ago
Possibilistic uncertainty handling for answer set programming
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
Pascal Nicolas, Laurent Garcia, Igor Stépha...
IANDC
2008
131views more  IANDC 2008»
15 years 6 months ago
Termination of just/fair computations in term rewriting
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
Salvador Lucas, José Meseguer
CORR
2006
Springer
112views Education» more  CORR 2006»
15 years 6 months ago
Complementary Sets, Generalized Reed-Muller Codes, and Power Control for OFDM
The use of error-correcting codes for tight control of the peak-to-mean envelope power ratio (PMEPR) in orthogonal frequency-division multiplexing (OFDM) transmission is considere...
Kai-Uwe Schmidt
JDM
2006
77views more  JDM 2006»
15 years 6 months ago
Semantic Integrity Constraint Checking for Multiple XML Databases
Global semantic integrity constraints ensure integrity and consistency of data spanning multiple databases. In this paper, we take the initial steps towards representing global se...
Praveen Madiraju, Rajshekhar Sunderraman, Shamkant...