SOCRAR: Semantic OCR through Augmented Reality
To enable people to interact more efficiently with virtual and physical services in their
surroundings, it would be beneficial if information could more fluently be passed across …
surroundings, it would be beneficial if information could more fluently be passed across …
SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World
We introduce SaVeWoT (S cripting a nd Ve rifying W eb of T hings Systems), an approach
for designing, formally verifying, and deploying decentralized control systems based on the …
for designing, formally verifying, and deploying decentralized control systems based on the …