Daniel Ricketts | DeepAI

DeepAI

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

Featured Co-authors

Claire Mathieu
17 publications
Markus Alexander Kuppe
2 publications
Leslie Lamport
2 publications
Aparna Das
1 publication

research

∙ 12/23/2019

The TLA+ Toolbox

We discuss the workflows supported by the TLA+ Toolbox to write and veri...

0 Markus Alexander Kuppe, et al. ∙

research

∙ 08/25/2009

Maximizing profit using recommender systems

Traditional recommendation systems make recommendations based solely on ...

0 Aparna Das, et al. ∙