2989 search results - page 160 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
FUIN
2008
14 years 10 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
We address the problem of applying reactive navigation methods to non-holonomic robots. Rather than embedding the motion constraints when designing a navigation method, we propose...
CAV
2003
Springer
15 years 3 months 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...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
ECCV
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. We propose a novel tracking algorithm based on the WangLandau Monte Carlo sampling method which efficiently deals with the abrupt motions. Abrupt motions could cause conv...