Cerca
Items 1-10 di 11
Scheduling techniques in high-speed packet switches
(2014-03-06)
Olex Effective Rule Learning for Text Categorization
(2014-04-01)
Le prime ricerche nell’ambito del Text Categorization, una sotto-area dell’ Information
Retrieval il cui obiettivo `e la classificazione automatica di documenti
rispetto a un insieme di categorie predefinite, risalgono ...
Dynamic magic sets
(2014-04-08)
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. ...
Answer Set Programming with Functions
(2014-04-01)
L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un
formalismo che si `e affermato, in questi ultimi anni, come potente strumento di
programmazione dichiarativa per la rappresentazione della conoscenza ...
Advanced Techniques and Systems for Data and Process Management
(2014-03-31)
Il lavoro di tesi viene suddiviso in due parti che trattano rispettivamente di tecniche
avanzate e sistemi per la gestione dei dati e per il mining dei processi. Sono state
affrontate problematiche relative all’efficienza ...
3d web-based parallel applications for the numerical modeling of natural phenomena
(2014-11-28)
In this thesis, I designed and implemented three new web applications tai-
lored for the Cellular Automata (CA) simulation models SCIDDICA-k1,
SCIARA-fv3 and ABBAMPAU, making use of the GoogleWeb Toolkit frame-
work and ...
Computational tasks in answer set programming: algorithms and implementation
(2014-12-01)
L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa
basato sulla semantica dei modelli stabili. L’idea alla base di ASP
è di codificare un problema computazionale in un programma logico i ...
Tecniche per la valutazione distribuita di programmi logici
(2014-11-30)
Recent developments in IT, and in particular the expansion of networking technologies,
have made quite common the availability of software architectures
where data sources are distributed across multiple (physically-di ...