6045 search results - page 880 / 1209 » Computable Linearizations of Well-partial-orderings |
177
click to vote
IANDC
2010
15 years 5 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...
260
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
In recent years, sparse representation originating from signal compressed sensing theory has attracted increasing interest in computer vision research community. However, to our b...
151
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We consider the problem of multi-robot coordination subject to constraints on the configuration. Specifically, we examine the case in which a mobile network of robots...
155
click to vote
IJRR
2010
15 years 5 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
196
click to vote
MCS
2010
Springer
15 years 5 months ago
2010
Springer
Some aspects of goal-oriented a posteriori error estimation are addressed in the context of steady convection-diffusion equations. The difference between the exact and approxima...