Login / Signup
From Formal Models to Formally Based Methods: An Industrial Experience.
Emanuele Ciapessoni
Piergiorgio Mirandola
Alberto Coen-Porisini
Dino Mandrioli
Angelo Morzenti
Published in:
ACM Trans. Softw. Eng. Methodol. (1999)
Keyphrases
</>
formal models
computationally expensive
real world
significant improvement
machine learning methods
real time
neural network
machine learning
information retrieval
computer vision
case study
fuzzy logic
empirical studies
classification method