In this paper we present an innovative adaptive imperceptible pattern projection technique that takes into account parameters of human visual perception. A coded image is temporal...
Abstract. Researchers have recently demonstrated display positioning using optical sensors in conjunction with temporally-coded patterns of projected light. This paper extends that...
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
Andriy V. Miranskyy, Nazim H. Madhavji, Matthew Da...
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
Content-based signatures are designed to be a robust bitstream representation of the content so as to enable content identi cation even though the original content may go through ...