Modern smartphones use proximity sensors for much more than just turning off screens during calls. These advanced sensors, powered by IR emitters and receivers, detect nearby objects like your ...

However, there are few studies on how to represent them. This paper focuses on representation using functional decomposition and decision diagrams, as a steppingstone to find a compact representation ...