2962 search results - page 176 / 593 » Reasoning on Association Rules |
217
click to vote
ADMA
2010
Springer
15 years 4 months ago
2010
Springer
This paper reports on an investigation to compare a number of strategies to include negated features within the process of Inductive Rule Learning (IRL). The emphasis is on generat...
204
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
169
click to vote
APAL
2010
15 years 6 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
173
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents sizing rules for basic building blocks in analog bipolar circuit design. Sizing rules efficiently capture design knowledge on the technology-specific level o...
190
click to vote
ICMLA
2004
15 years 8 months ago
2004
This paper introduces a system, called PolyCluster, which adopts state-of-the-art algorithms for data visualization and integrates human domain knowledge into the construction pro...