823 search results - page 124 / 165 » Stateful Subset Cover |
135
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— A new approach to the 3D human motion tracking problem is proposed, which combines several particle filters with a physical simulation of a flexible body model. The flexible...
177
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
129
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
120
Voted
EICS
2009
ACM
15 years 10 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
133
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—We consider opportunistic spectrum access (OSA) strategies for a transmitter in a multichannel wireless system, where a channel may or may not be available and the transmitter m...