Keyword:PDR

Publications
Event-Domain Knowledge in Inertial Sensor Based State Estimation of Human Motion Tom Lucas Koller, Tim Laue and Udo Frese EasyChair Preprint 7641
Towards an Automatic Proof of Lamport's Paxos Aman Goel and Karem A. Sakallah EasyChair Preprint 6510