CSAIL Digital Archive: Recent submissions
Now showing items 52-54 of 807
-
Collaborative Diagnosis of Over-Subscribed Temporal Plans
(2016-10-14)Over-subscription, that is, being assigned too many tasks or requirements that are too demanding, is commonly encountered in temporal planning problems. As human beings, we often want to do more than we can, ask for things ... -
SE-Sync: A Certifiably Correct Algorithm for Synchronization over the Special Euclidean Group
(2017-02-05)Many important geometric estimation problems naturally take the form of synchronization over the special Euclidean group: estimate the values of a set of unknown poses given noisy measurements of a subset of their pairwise ... -
Propositional and Activity Monitoring Using Qualitative Spatial Reasoning
(2016-12-14)Communication is the key to effective teamwork regardless of whether the team members are humans or machines. Much of the communication that makes human teams so effective is non-verbal; they are able to recognize the ...


