306 search results - page 15 / 62 » Dynamic Software Updates: The State Mapping Problem |
CAV
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
JCP
2007
13 years 7 months ago
2007
Abstract— Data synopsis is a lossy compressed representation of data stored into databases that helps the query optimizer to speed up the query process, e.g. time to retrieve the...
GPCE
2009
Springer
13 years 11 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Particle filters have been applied with great success to various state estimation problems in robotics. However, particle filters often require extensive parameter tw...
AUTOMATICA
2006
13 years 7 months ago
2006
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...