This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
Gediminas Adomavicius, Jesse Bockstedt, Alok Gupta...
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
Nick Halper, Tobias Isenberg, Felix Ritter, Bert F...
In this paper, we investigate the security, in the Luby-Rackoff security paradigm, of blockcipher modes of operation allowing to expand a one-block input into a longer t-block ou...
A novel approach is proposed to obtain a record of the patient’s occlusion using computer vision. Data acquisition is obtained using intra-oral video cameras. The technique utili...
Moumen T. Ahmed, Sameh M. Yamany, Elsayed E. Hemay...