3820 search results - page 622 / 764 » Bounded Model Debugging |
117
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
The problem of interest is to characterize to what extent nodes independently following certain transmission schedules can be hijacked to relay flows of information packets. Info...
118
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
—We aim to characterize the maximum link throughput of a multi-channel opportunistic communication system. The states of these channels evolve as independent and identically dist...
125
click to vote
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
Wireless sensor networks (WSNs) deployed for missioncritical applications face the fundamental challenge of meeting stringent spatiotemporal performance requirements using nodes w...
89
Voted
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— To be acceptable to human drivers, the motion of an intelligent robotic wheelchair must be more than just collision-free: it must be graceful. We define graceful motion as bei...
104
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
— Cabled robotic systems have been used for a diverse set of applications such as environmental sensing, search and rescue, sports and entertainment and air vehicle simulators. I...