5075 search results - page 49 / 1015 » Model-based interface development |
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose an approach to model the background of images in a video sequence based on subpixel edge map. This work is motivated by the observation that intensity based background ...
112
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
120
click to vote
FATES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
104
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
118
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...