Incremental Formalization: A Key to Industrial Success.
Bernhard SteffenTiziana MargariaAndreas ClaßenVolker BraunPublished in: Softw. Concepts Tools (1996)
Keyphrases
- neural network
- industrial applications
- incremental learning
- artificial intelligence
- digital libraries
- technology transfer
- operational semantics
- formal analysis
- formal model
- hidden markov models
- multiresolution
- mobile devices
- data sets
- video sequences
- similarity measure
- image segmentation
- case study
- information systems
- databases