5863 search results - page 1071 / 1173 » On Model-Checking of P Systems |
142
Voted
ICRA
2010
IEEE
15 years 2 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...
123
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— We describe an autonomous robotic system capable of navigating through an office environment, opening doors along the way, and plugging itself into electrical outlets ...
124
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a first system to semi-automatically create a visual representation for a given, short text. We first parse the input text, decompose it into suitable units,...
125
click to vote
MICS
2010
15 years 2 months ago
2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
166
Voted
MIDDLEWARE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Data aggregation is a key aspect of many distributed applications, such as distributed sensing, performance monitoring, and distributed diagnostics. In such settings, use...