14 search results - page 3 / 3 » mcm 2010 |
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
MCM
2011
13 years 4 days ago
2011
Molecular circadian clocks, that are found in all nucleated cells of mammals, are known to dictate rhythms of approximately 24 hours (circa diem) to many physiological processes. ...
TON
2010
13 years 3 months ago
2010
Abstract—Many distributed applications require a group of destinations to be coordinated with a single source. Multicasting is a communication paradigm to implement these distrib...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...