8828 search results - page 1707 / 1766 » Formal methods in practice |
ICNP
2006
IEEE
15 years 4 months ago
2006
IEEE
— Energy efficiency is widely understood to be one of the dominant considerations for Wireless Sensor Networks. Based on historical data and technology trends, the receiver ener...
ICPP
2006
IEEE
15 years 4 months ago
2006
IEEE
—Carrier sensing is a medium access method widely adopted in wireless communication to protect data transfers from interference. For example, Distributed Coordination Function (D...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— We propose a novel solution to the problem of inverse kinematics for redundant robotic manipulators for the purposes of goal selection for path planning. We unify the calculati...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
- Monte Carlo localization is known to be one of the most reliable methods for pose estimation of a mobile robot. Many studies have been conducted to improve performance of MCL. Al...