abstract Opening Remarks (9.00 – 9.15) Paul Lukowicz Keynote Lecture (9.15 – 10.15) Wearable Physiological Sensing Systems: Issues and Trade-offs in Real World Deployments Pres...
Giovanni Saggio, Paolo Bisegna, Giuseppe Latessa, ...
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Authentication codes provide message integrity guarantees in an information theoretic sense within a symmetric key setting. Information theoretic bounds on the success probability...
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...