9521 search results - page 491 / 1905 » Compiling with continuations, continued |
170
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
167
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
138
click to vote
IPCCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Multimedia streaming applications can significantly boost the value of mobile ad hoc networks (MANET). Live streaming, however, means continuous data delivery, which is a major c...
127
Voted
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
123
click to vote
RTCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
Nominally, one can expect any user of modern technology to carry a handheld device such an iPAQ or cellphone and utilize resources in the environment to remain connected and enjoy...