Browsing Dipartimento di Matematica e Informatica - Tesi di Dottorato by Author "Alviano, Mario"

Now showing items 1-2 of 2

  • Arsenic Ore Mixture Froth Image Generation with Neural Networks and a Language for Declarative Data Validation 

    Zamayla, Arnel; Greco, Gianluigi; Alviano, Mario; Dodaro, Carmine (Università della Calabria, 2022-04-14)
    Computer vision systems that measure froth flow velocities and stability designed for flotation froth image analysis are well established in industry, as they are used to control material recovery. However flotation ...

  • Dynamic magic sets 

    Alviano, Mario; Lceone, Nicola; Faber, Wolfgang (2010)
    Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models. ...