Claudionor Coelho | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Hai Lin
56 publications
George A. Constantinides
17 publications
Kevin Smith
14 publications
James J. Davis
8 publications
Satrajit Chatterjee
8 publications
Erwei Wang
7 publications
Peter Y. K. Cheung
6 publications
Piotr Zielinski
5 publications
Marjorie Sayer
3 publications
Daniele Moro
2 publications
Praveen Tiwari
2 publications

research

∙ 05/27/2022

PSL is Dead. Long Live PSL

Property Specification Language (PSL) is a form of temporal logic that h...

2 Kevin Smith, et al. ∙

research

∙ 02/08/2021

Enabling Binary Neural Network Training on the Edge

The ever-growing computational demands of increasingly complex machine l...

0 Erwei Wang, et al. ∙