Sciweavers

4985 search results - page 31 / 997
» Observation of String-Rewriting Systems
Sort
View
CDC
2008
IEEE
122views Control Systems» more  CDC 2008»
14 years 2 months ago
Geometrical conditions for output depending observability normal form
— We give geometrical conditions, which guarantee the existence of a diffeomorphism in order to transform a nonlinear system without inputs into a canonical normal form depending...
Gang Zheng, Driss Boutat, Jean-Pierre Barbot
FORTE
2007
13 years 9 months ago
Recovering Repetitive Sub-functions from Observations
This paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive subfunctions, constructs a Message Sequence Charts (MSC) gr...
Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hü...
APLAS
2010
ACM
13 years 4 months ago
Concurrency Can't Be Observed, Asynchronously
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giac...
CVIU
2010
163views more  CVIU 2010»
13 years 7 months ago
Automated handwashing assistance for persons with dementia using video and a partially observable Markov decision process
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...
Jesse Hoey, Pascal Poupart, Axel von Bertoldi, Tam...
JUCS
2002
101views more  JUCS 2002»
13 years 7 months ago
Modelling Agents as Observable Sources
Abstract: Observation is a fundamental interaction pattern in today's computerbased systems. Adopting observation as the main modelling criterion, computer-based systems can b...
Mirko Viroli, Andrea Omicini