HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:acceleration

Papers
Introducing a New Activity-Based Balance Index Using Accelerometer Data and Evaluate It as a Predictor of Skill Level Among Elite Junior Soccer Players
Shahram Lenjannejadian, Jalil Reisi and Mehdi Salimi
EasyChair Preprint no. 3329
Acceleration-based safety decision procedure for programs with arrays
Francesco Alberti, Silvio Ghilardi and Natasha Sharygina
In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Acceleration For Presburger Petri Nets
Jerome Leroux
In:VPT 2013. First International Workshop on Verification and Program Transformation
Tool Demonstration of the FLATA Counter Automata Toolset
Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar
In:WING 2010. Workshop on Invariant Generation 2010
Copyright © 2012-2023 easychair.org. All rights reserved.