Luís Pinto | DeepAI

DeepAI

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

Featured Co-authors

Richard Tsai
10 publications
Ralph Matthes
5 publications
José Espírito Santo
3 publications
Isabel N. Figueiredo
2 publications
Pedro N. Figueiredo
2 publications
Carlos Leal
1 publication

research

∙ 07/31/2020

Proof search for full intuitionistic propositional logic through a coinductive approach for polarized logic

The approach to proof search dubbed "coinductive proof search", and prev...

0 José Espírito Santo, et al. ∙

research

∙ 04/23/2015

An Elastic Image Registration Approach for Wireless Capsule Endoscope Localization

Wireless Capsule Endoscope (WCE) is an innovative imaging device that pe...

0 Isabel N. Figueiredo, et al. ∙