Explore projects

Predicting 3D-aware ellipses to improve object-based localization accuracy.

Supplementary Materials for "TAG: Learning Timed Automata from Logs" (AAAI-22).

This project provides the code of Abstra, an all-in-one dataset abstraction system.

It is developed in Java and uses Postgres to store data.

Gathers technical materials to follow on what has been learnt and what is to be learnt

Sources of the Abstract Categorial Development toolkit.

ADFG checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them.