Proving Properties of Neural Networks with Graph Transformations

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

FISCHER, Ingrid, Manuel KOCH, Michael BERTHOLD, 1998. Proving Properties of Neural Networks with Graph Transformations. ICNN '98 - International Conference on Neural Networks. Anchorage, AK, USA. In: 1998 IEEE International Joint Conference on Neural Networks Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36227). ICNN '98 - International Conference on Neural Networks. Anchorage, AK, USA. IEEE, pp. 441-446. ISBN 0-7803-4859-1. Available under: doi: 10.1109/IJCNN.1998.682307

@inproceedings{Fischer1998Provi-24291, title={Proving Properties of Neural Networks with Graph Transformations}, year={1998}, doi={10.1109/IJCNN.1998.682307}, isbn={0-7803-4859-1}, publisher={IEEE}, booktitle={1998 IEEE International Joint Conference on Neural Networks Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36227)}, pages={441--446}, author={Fischer, Ingrid and Koch, Manuel and Berthold, Michael} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/24291"> <dc:language>eng</dc:language> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24291"/> <dcterms:issued>1998</dcterms:issued> <dc:creator>Berthold, Michael</dc:creator> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:rights>deposit-license</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-22T08:23:23Z</dc:date> <dcterms:abstract xml:lang="eng">Graph transformations offer a unifying framework to formalize neural networks together with their corresponding training algorithms. It is straightforward to describe also topology changing training algorithms with the help of these transformations. One of the benefits using this formal framework is the support for proving properties of the training algorithms. A training algorithm for probabilistic neural networks is used as an example to prove its termination and correctness on the basis of the corresponding graph rewriting rules.</dcterms:abstract> <dcterms:bibliographicCitation>The 1998 IEEE International Joint Conference on Neural Networks Proceedings : IEEE World Congress on Computational Intelligence : May 4-May 9, 1998, Anchorage, Alaska, USA / [general chair: Patrick K. Simpson]. - Piscataway : IEEE Service Center, 1998. - S. 441-446. - ISBN 0-7803-4859-1</dcterms:bibliographicCitation> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Koch, Manuel</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Fischer, Ingrid</dc:contributor> <dc:creator>Koch, Manuel</dc:creator> <dc:creator>Fischer, Ingrid</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Berthold, Michael</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-22T08:23:23Z</dcterms:available> <dcterms:title>Proving Properties of Neural Networks with Graph Transformations</dcterms:title> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto