780 search results - page 33 / 156 » Correctness of Component-Based Adaptation |
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper describes adaptation to gradual changes of walking directions for gait identification. First, we propose a method of body tilt correction due to changes of walking dire...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
DAGM
2007
Springer
14 years 28 days ago
2007
Springer
Abstract. Confidence measures are important for the validation of optical flow fields by estimating the correctness of each displacement vector. There are several frequently used c...
ITP
2010
14 years 27 days ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
EUSFLAT
2001
13 years 10 months ago
2001
The correction of angular misalignment between mating components is a fundamental requirement for their successful assembly. In this paper we present how a learning agent based on...