C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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