Benchmark di Sistemi per la Programmazione Bayesiana: Tempo, Accuratezza e Concisione

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:
[img] 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
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Ferraioli, Valentina
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
programmazione probabilistica
Data di discussione della Tesi
18 Dicembre 2019
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^