I¿¿¿: a calculus for internet of things automation.

Julie L. Newcomb Satish Chandra Jean-Baptiste Jeannin Cole Schlesinger Manu Sridharan

Published in: Onward! (2017)

Keyphrases

key technologies
physical world
automated deduction
mobile devices
neural network
ubiquitous computing
big data
real time
databases
genetic algorithm
artificial intelligence
search engine
decision trees
computer algebra
process automation