6978 search results - page 1295 / 1396 » On Proofs in System P |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
----------------------------------------------ABSTRACT-------------------------------------------In the faceless world of the Internet, online fraud is one of the greatest reasons ...
HUC
2010
Springer
13 years 7 months ago
2010
Springer
This paper introduces an algorithm that estimates the speed of a mobile phone by matching time-series signal strength data to a known signal strength trace from the same road. Kno...
ICRA
2010
IEEE
13 years 7 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...
ICRA
2010
IEEE
13 years 7 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 ...
JAPLL
2010
13 years 7 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...