Alessandro Maria Rizzi | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Claudio Menghi
13 publications
Anna Bernasconi
2 publications

research

∙ 11/26/2018

Integrating Topological Proofs with Model Checking to Instrument Iterative Design

System development is not a linear, one-shot process. It proceeds throug...

0 Claudio Menghi, et al. ∙

research

∙ 12/05/2016

Support vector regression model for BigData systems

Nowadays Big Data are becoming more and more important. Many sectors of ...

0 Alessandro Maria Rizzi, et al. ∙