Sciweavers

4835 search results - page 459 / 967
» Intelligent Selection Tools
Sort
View
WIRN
2005
Springer
16 years 8 days ago
Recursive Neural Networks and Graphs: Dealing with Cycles
Recursive neural networks are a powerful tool for processing structured data. According to the recursive learning paradigm, the input information consists of directed positional ac...
Monica Bianchini, Marco Gori, Lorenzo Sarti, Franc...
192
Voted
DIAGRAMS
2004
Springer
16 years 6 days ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
DIAGRAMS
2004
Springer
16 years 6 days ago
An Experimental Comparison of Diagrammatic and Algebraic Logics
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mat...
ECAI
2004
Springer
16 years 6 days ago
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm
A Bayesian network is an appropriate tool to deal with the uncertainty that is typical of real-life applications. Bayesian network arcs represent statistical dependence between dif...
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
EVOW
2004
Springer
16 years 6 days ago
Self-Adaptive Scouting - Autonomous Experimentation for Systems Biology
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
Naoki Matsumaru, Florian Centler, Klaus-Peter Zaun...