200 search results - page 25 / 40 » Point-weight designs with design conditions on t points |
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
EUSAI
2004
Springer
14 years 1 months ago
2004
Springer
We currently witness a massive digitization of domestic materials e.g. photos, music, calendars, recipes, notes, messages. This digitization provides new conditions for how we inte...
SIAMADS
2010
13 years 2 months ago
2010
The concept of weak stability boundary has been successfully used in the design of several fuel efficient space missions. In this paper we give a rigorous definition of the weak st...
CVPR
2000
IEEE
14 years 9 months ago
2000
IEEE
Conventional vision systems are designed to perform in clear weather. However, any outdoor vision system is incomplete without mechanisms that guarantee satisfactory performance u...
ISER
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we propose an autonomous precision landing method for an unmanned helicopter based on an on-board visual navigation system consisting of a single pan-tilting camera,...