Sciweavers

2962 search results - page 223 / 593
» Reasoning on Association Rules
Sort
View
JCNS
2000
78views more  JCNS 2000»
15 years 6 months ago
Computational Consequences of Temporally Asymmetric Learning Rules: II. Sensory Image Cancellation
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...
Patrick D. Roberts, Curtis C. Bell
PAAPP
2007
109views more  PAAPP 2007»
15 years 6 months ago
Relation rule mining
\Web users are nowadays confronted with the huge variety of available information sources whose content is not targeted at any specific group or layer. Recommendation systems aim...
Mehdi Adda, Rokia Missaoui, Petko Valtchev
ICCS
1997
Springer
15 years 10 months ago
Uncovering the Conceptual Models in Ripple Down Rules
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
Debbie Richards, Paul Compton
RULEML
2004
Springer
15 years 12 months ago
Defeasible Description Logics
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
Guido Governatori
TACAS
2012
Springer
316views Algorithms» more  TACAS 2012»
14 years 2 months ago
Compositional Termination Proofs for Multi-threaded Programs
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
Corneliu Popeea, Andrey Rybalchenko