Segui
Sine Viesmose Birch
Sine Viesmose Birch
Student of Computer Science, Aalborg University
Email verificata su student.aau.dk
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–3