Keyword:PDR

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