Login
Ferraioli, Valentina
(2019)
Benchmark di Sistemi per la Programmazione Bayesiana:
Tempo, Accuratezza e Concisione.
[Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.
Documenti full-text disponibili:
![[thumbnail of Thesis]](https://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
Full-text accessibile solo agli utenti istituzionali dell'Ateneo Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato Download (663kB) | Contatta l'autore |
Abstract
In questa tesi si sono analizzate le prestazioni in termini di tempo, concisione e precisone di due linguaggi per la programmazione probabilistica, ossia Anglican e Problog. Questi linguaggi vengono messi alla prova, richiedendo alle relative implementazioni di risolvere istanze di problemi intrinsecamente difficili, come la risoluzione di formule HARD 3SAT.
Abstract
Altri metadati
Statistica sui download
Gestione del documento:
