Følg
Sine Viesmose Birch
Sine Viesmose Birch
Student of Computer Science, Aalborg University
Verificeret mail på student.aau.dk
Titel
Citeret af
Citeret af
År
Interval abstraction refinement for model checking of timed-arc Petri nets
S Viesmose Birch, T Stig Jacobsen, J Jon Jensen, C Moesgaard, ...
Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014
62014
A hierarchical model for continuous gesture recognition using Kinect
SL VIESMOSE
Twelfth Scandinavian Conference on Artificial Intelligence: SCAI 2013 257, 145, 2013
22013
Compositional Analysis of Timed-arc Resource Workflows with Communication
SV Birch, C Moesgaard
University of Aalborg, 2015
12015
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–3