2253 search results - page 343 / 451 » Computing with Realizational Morphology |
168
click to vote
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
— Multicast is a key technology that provides efficient data communication among a set of nodes for wireless multi-hop networks. In sensor networks and MANETs, multicast algorit...
142
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
147
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— For humanoid robots to fully realize their biped potential in a three-dimensional world and step over, around or onto obstacles such as stairs, appropriate and efficient appro...
158
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
128
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...