823 search results - page 124 / 165 » Stateful Subset Cover |
166
click to vote
ICRA
2009
IEEE
16 years 20 days 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...
225
click to vote
CONCUR
2009
Springer
16 years 18 days 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...
161
click to vote
ERSHOV
2009
Springer
16 years 17 days 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 ...
143
click to vote
EICS
2009
ACM
16 years 16 days 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...
161
click to vote
INFOCOM
2008
IEEE
16 years 13 days 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...