18204 search results - page 3280 / 3641 » Distributed Video Presentations |
142
click to vote
IANDC
2010
15 years 3 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...
134
click to vote
IANDC
2010
15 years 3 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
144
click to vote
IOR
2008
15 years 3 months ago
2008
Abstract Firms compete in supply functions when they offer a schedule of prices and quantities into a market; for example, this occurs in many wholesale electricity markets. We stu...
141
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— We have previously shown that hemispherical soft fingertips are at equilibrium when they are in contact with objects, suggesting that the contact force and flexibility of the...
127
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— The DPC algorithm developed in our previous work is an efficient way of computing optimal trajectories for multiple robots in a distributed fashion with timeparameterized cons...