Publikation: Proving Properties of Neural Networks with Graph Transformations
Lade...
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
1998
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
DOI (zitierfähiger Link)
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen in
1998 IEEE International Joint Conference on Neural Networks Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36227). IEEE, 1998, pp. 441-446. ISBN 0-7803-4859-1. Available under: doi: 10.1109/IJCNN.1998.682307
Zusammenfassung
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.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
ICNN '98 - International Conference on Neural Networks, Anchorage, AK, USA
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
FISCHER, Ingrid, Manuel KOCH, Michael R. 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). IEEE, 1998, pp. 441-446. ISBN 0-7803-4859-1. Available under: doi: 10.1109/IJCNN.1998.682307BibTex
@inproceedings{Fischer1998Provi-24291, year={1998}, doi={10.1109/IJCNN.1998.682307}, title={Proving Properties of Neural Networks with Graph Transformations}, 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 R.} }
RDF
<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/server/rdf/resource/123456789/24291"> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Koch, Manuel</dc:contributor> <dc:creator>Fischer, Ingrid</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-22T08:23:23Z</dcterms:available> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24291"/> <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> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Fischer, Ingrid</dc:contributor> <dc:creator>Berthold, Michael R.</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-22T08:23:23Z</dc:date> <dc:contributor>Berthold, Michael R.</dc:contributor> <dcterms:title>Proving Properties of Neural Networks with Graph Transformations</dcterms:title> <dc:creator>Koch, Manuel</dc:creator> <dcterms:issued>1998</dcterms:issued> <dc:language>eng</dc:language> <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> </rdf:Description> </rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein