6608 search results - page 1147 / 1322 » On the Completeness of Model Checking |
115
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
160
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Consider a biped evolving in the sagittal plane. The unexpected rotation of the supporting foot can be avoided by controlling the zero moment point or ZMP. The objective of thi...
162
click to vote
ICSEA
2007
IEEE
15 years 10 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...
147
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In this paper we address the problem of energyefficient event detection in wireless sensor networks (WSNs). Duty cycling is a fundamental approach to conserving energy i...
139
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— VoIP has widely been addressed as the technology that will change the Telecommunication model opening the path for convergence. Still today this revolution is far from being co...