4035 search results - page 708 / 807 » Useless Actions Are Useful |
165
click to vote
IANDC
2010
15 years 4 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
152
click to vote
IANDC
2010
15 years 4 months ago
2010
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
161
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...
185
click to vote
IFIPTM
2010
15 years 4 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
156
click to vote
JCNS
2010
15 years 4 months ago
2010
Abstract Continuous attractor networks require calibration. Computational models of the head direction (HD) system of the rat usually assume that the connections that maintain HD n...