4451 search results - page 737 / 891 » Continuous model synthesis |
172
click to vote
QEST
2009
IEEE
16 years 27 days ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
173
Voted
RTCSA
2009
IEEE
16 years 27 days ago
2009
IEEE
—Mobile sensors are widely deployed in Wireless Sensor Networks (WSNs) to satisfy emerging application requirements. Specifically, processing location dependent queries in mobile...
145
click to vote
ICRA
2009
IEEE
16 years 25 days ago
2009
IEEE
— We report our system and algorithm developments that enable a single mobile robot equipped with a directional antenna to simultaneously localize multiple unknown transient radi...
141
click to vote
ICRA
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract— This paper proposes a novel approach for motion primitive segmentation from continuous full body human motion captured on monocular video. The proposed approach does no...
177
click to vote
IEEECIT
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...