The proposed approach works for any underlying secret sharing scheme. It is based on the concept of verification sets of participants, related to authorized set of participants. T...
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
Interactive montage combines the elements of play and visual representation. The analysis of four examples of interactive montage in reference to a first person point of view high...
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
We have developed a hand gesture recognition system, based on the shape analysis of static gestures, for Human Computer Interaction purposes. Our appearance-based recognition uses...