Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
Dynamic control of constrained mechanical systems, such as robotic manipulators under end-effector constraints, parallel manipulators, and multifingered robotic hands under closure...
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
Abstract— This paper describes a probabilistic bail-out condition for multihypothesis testing based on Bennett’s inequality. We investigate the use of the test for increasing t...