27827 search results - page 299 / 5566 » Generating |
173
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a methodology based on a variation of the Rapidly-exploring Random Trees (RRTs) that generates feasible trajectories for autonomous aerial vehicles with hol...
181
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we generate the biped gait of a humanoid robot that looks like a human’s one. To generate the human like motion, we first capture walking motion of a human. T...
150
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...
176
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...