823 search results - page 64 / 165 » Stateful Subset Cover |
AMFG
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents two techniques for improving human body tracking within the particle filtering scheme. Both techniques explore the use of auxiliary measurements. The first tec...
DAC
1998
ACM
14 years 2 months ago
1998
ACM
Approximate reachability techniques trade o accuracy with the capacity to deal with bigger designs. Cho et al 3 proposed approximate FSM traversal algorithms over a partition of t...
LATIN
1992
Springer
14 years 2 months ago
1992
Springer
A reversible automaton is a finite (possibly incomplete) automaton in which each letter induces a partial one-to-one map from the set of states into itself. We give four non-trivi...
FOSSACS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
ATVA
2008
Springer
14 years 2 days ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...