2903 search results - page 306 / 581 » On the univalence of an integral operator |
175
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
143
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a tool, the Performance Model Manager, which addresses the complexity of the construction and management of a set of Functional Performance Models on a comp...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The semantic robots of the immediate future are robots that will be able to find and recognize objects in any environment. They need the capability of segmenting objects in th...
156
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Autonomous robots that operate in real-world domains face multiple challenges that make planning and goal selection difficult. Not only must planning and execution occur in re...
189
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper presents a methodology for the modeling and control of internal forces and moments produced during multi-contact interactions between humanoid robots and the...