27827 search results - page 299 / 5566 » Generating |
121
Voted
DATE
2009
IEEE
15 years 10 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...
125
Voted
IROS
2009
IEEE
15 years 10 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...
139
Voted
IROS
2009
IEEE
15 years 10 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...
102
click to vote
IROS
2009
IEEE
15 years 10 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...
134
Voted
TPHOL
2009
IEEE
15 years 10 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...