— Ball dribbling is a central element of basketball. One main challenge for realizing basketball robots is to stabilize periodic motions of the ball. This task is nontrivial due ...
Uwe Mettin, Anton S. Shiriaev, Georg Batz, Dirk Wo...
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...
Security in collaborative groups is an active research topic and has been recognized by many organizations in the past few years. In this paper, we propose a fine-grained and attr...
: A system architecture is proposed for integrating sensors, controllers, actuators and instrumentation within a common framework. The goal is to provide a flexible and scalable sy...
We introduce a distributed camera coalition formation scheme for perceptive scene coverage and persistent surveillance by smart camera sensor networks. The proposed model supports...