2477 search results - page 215 / 496 » Approximate extended formulations |
151
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a decentralized planning method for generating dynamic whole body motions of multilink robots including humanoids. First, a robotic system will be modeled a...
163
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
142
click to vote
DIS
2009
Springer
16 years 1 months ago
2009
Springer
The promotion analysis problem has been proposed in [16], where ranking-based promotion query processing techniques are studied to effectively and efficiently promote a given obje...
190
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We describe a distributed algorithm for solving the rendezvous problem based on consensus protocols. We extend our previous work by considering the case when the evolution of t...