1716 search results - page 151 / 344 » Proving Conditional Termination |
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— We consider problems where multiple agents must cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchange...
FGR
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we investigate the mutual-complementary functionality of accelerometer (ACC) and electromyogram (EMG) for recognizing seven word-level sign vocabularies in German S...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper focuses on leader-follower formations of mobile robots equipped with panoramic cameras and extend earlier works in the literature addressing both the visionbased loc...
APSEC
2005
IEEE
14 years 4 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
ISIPTA
2003
IEEE
14 years 4 months ago
2003
IEEE
In some situations, a decision is best represented by an incompletely analyzed act: conditionally to a certain event, the consequences of the decision on sub-events are perfectly ...