ViNNSL - the Vienna Neural Network Specification Language.
Peter Paul BeranElisabeth VinekErich SchikutaThomas WeishäuplPublished in: IJCNN (2008)
Keyphrases
- specification language
- neural network
- formal specification
- description language
- programming language
- software environment
- artificial neural networks
- symbolic execution
- neural network model
- requirements specification
- fuzzy logic
- back propagation
- model checking
- genetic algorithm
- information retrieval systems
- fine grained
- database
- evolutionary algorithm
- database systems
- knowledge base
- machine learning
- databases