1453 search results - page 54 / 291 » State and history in operating systems |
98
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
We present an online, recursive filtering technique to model linear dynamical systems that operate on the state space of symmetric positive definite matrices (tensors) that lie on...
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Belief propagation methods are the state-of-the-art with multi-sensor state localization problems. However, when localization applications have to deal with multi-modality sensors...
115
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
137
click to vote
PKDD
2009
Springer
15 years 5 months ago
2009
Springer
Monitoring the variables of real world dynamic systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding prob...