Sciweavers

11017 search results - page 29 / 2204
» Closure Systems and their Structure
Sort
View
IBPRIA
2005
Springer
14 years 1 months ago
A Real-Time Driver Visual Attention Monitoring System
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...
Jorge Batista
FSTTCS
2010
Springer
13 years 5 months ago
Place-Boundedness for Vector Addition Systems with one zero-test
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...
Rémi Bonnet, Alain Finkel, Jérô...
TROB
2002
142views more  TROB 2002»
13 years 7 months ago
A unified geometric approach to modeling and control of constrained mechanical systems
Dynamic control of constrained mechanical systems, such as robotic manipulators under end-effector constraints, parallel manipulators, and multifingered robotic hands under closure...
Guanfeng Liu, Zexiang Li
FOSSACS
2010
Springer
14 years 2 months ago
Toward a Compositional Theory of Leftist Grammars and Transformations
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...
Pierre Chambart, Ph. Schnoebelen
ICRA
2008
IEEE
132views Robotics» more  ICRA 2008»
14 years 2 months ago
Accelerated appearance-only SLAM
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...
Mark Joseph Cummins, Paul M. Newman