502 search results - page 87 / 101 » Extraction of Logical Rules from Neural Networks |
CADE
2011
Springer
12 years 8 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
SAINT
2005
IEEE
14 years 1 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
TNN
1998
13 years 7 months ago
1998
— This paper introduces a new system for real-time detection and classification of arbitrarily scattered surface-laid mines from multispectral imagery data of a minefield. The ...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— It is difficult to map many existing learning algorithms onto biological networks because the former require a separate learning network. The computational basis of biological...