5896 search results - page 693 / 1180 » On Learning with Integral Operators |
178
Voted
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...
144
Voted
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...
176
Voted
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...
158
Voted
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...
192
Voted
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...