Merge branch 'master' of github.com:Microsoft/prepose

README.md

@@ -7,5 +7,6 @@ Prepose lowers the cost of developing new gesture recognizers by exposing a rang
 
 Because of the privacy-sensitive nature of alwayson Kinect sensors, we have designed the Prepose language to be analyzable: we enable security and privacy assurance through precise static analysis. In Prepose, we employ a sound static analysis that uses an SMT solver (Z3), something that works well on Prepose but would be hardly possible for a general-purpose language. We demonstrate that static analysis of Prepose code is efficient, and investigate how analysis time scales with the complexity of gestures. Our Z3-based approach scales well in practice: safety checking is under 0.5 seconds per gesture; average validity checking time is only 188 ms; lastly, for 97% of the cases, the conflict detection time is below 5 seconds, with only one query taking longer than 15 seconds.
 
-More: 
-- http://research.microsoft.com/apps/pubs/default.aspx?id=232011
+![Prepose example](Images/prepose-shot.png) 
+
+For more, please read this paper: http://research.microsoft.com/apps/pubs/default.aspx?id=232011