Sfoglia per Corso Informatica
Improving ABV by generation and abstraction of PSL assertions
2016
Improving neural networks efficiency via representation similarities
2025
Improving the quality of text clustering and cluster labeling
2017
In pursuit of deception: a journey through fake channels, conspiracies, wash trading, and stealth addresses
2024
In-line industrial computed tomography applications and developments
2021
Information extraction by type analysis
2013
Information flow analysis by abstract interpretation
2012
Information retrieval and extraction from forums, complaints and technical reviews
2019
Informational and Relational Analysis of Biological Data
2015
Integer Sequences in Cryptography: A New Generalized Family and its Application
2025
Intelligent Agents for Active Malware Analysis
2020
Interpretable task planning and learning for autonomous robotic surgery with logic programming
In corso di stampa
Investigation of the tradeoff between expressiveness and complexity in description logics with spatial operators
2009
An IoT based Virtual Coaching System (VSC) for Assisting Activities of Daily Life
2020
Jigsaw Puzzle Solving as a Consistent Labeling Problem
ND
Knowledge-based approaches to producing large-scale training data from scratch for Word Sense Disambiguation and Sense Distribution Learning
2019
Labeled natural deduction for temporal logics
2010
Lambda calculi and logics for quantum computing
2009
Large Graphs on multi-GPUs
2013
Large scale data access: architectures and performance
2006
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile