research
∙
07/19/2023
Towards green AI-based software systems: an architecture-centric approach (GAISSA)
Nowadays, AI-based systems have achieved outstanding results and have ou...
share
research
∙
10/18/2019
Programming and Symbolic Computation in Maude
Rewriting logic is both a flexible semantic framework within which widel...
research
∙
01/17/2019
