9730 search results - page 1561 / 1946 » Relating models of backtracking |
184
click to vote
QEST
2009
IEEE
16 years 1 months 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...
187
click to vote
RTCSA
2009
IEEE
16 years 1 months 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...
174
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—A large body of work has been devoted to address corporate-scale privacy concerns related to social networks. The main focus was on how to share social networks owned by organiz...
192
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper introduces a new method to determine a person’s pose based on laser range measurements. Such estimates are typically a prerequisite for any human-aware robot navig...
180
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— The paper describes an indoor helicopter testbed that allows implementing and testing of bio-inspired control algorithms developed from scientific studies on insects. The heli...