Följ
Mark Reynolds
Mark Reynolds
Professor of Computer Science, University of Western Australia
Verifierad e-postadress på uwa.edu.au - Startsida
Titel
Citeras av
Citeras av
År
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2.
D Gabbay, M Reynolds, M Finger
Oxford University Press, 2000
9702000
SS-LSTM: A hierarchical LSTM model for pedestrian trajectory prediction
H Xue, DQ Huynh, M Reynolds
2018 IEEE winter conference on applications of computer vision (WACV), 1186-1194, 2018
5032018
An axiomatization of full computation tree logic
M Reynolds
The Journal of Symbolic Logic 66 (3), 1011-1057, 2001
1972001
The imperative future
H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds
Research Studies Press, Somerset, 1996
187*1996
Connexive modal logic
H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds
Advances in modal logic 5, 387-399, 2004
1622004
The complexity of temporal logic over the reals
M Reynolds
Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010
932010
A vision-based pipeline for vehicle counting, speed estimation, and classification
C Liu, DQ Huynh, Y Sun, M Reynolds, S Atkinson
IEEE transactions on intelligent transportation systems 22 (12), 7547-7560, 2020
842020
11 Temporal logic
I Hodkinson, M Reynolds
Studies in logic and practical reasoning 3, 655-720, 2007
832007
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
781999
PoPPL: Pedestrian trajectory prediction by LSTM with automatic route class clustering
H Xue, DQ Huynh, M Reynolds
IEEE transactions on neural networks and learning systems 32 (1), 77-90, 2020
772020
A supervised learning framework: Using assessment to identify students at risk of dropping out of a MOOC
D Monllao Olive, DQ Huynh, M Reynolds, M Dougiamas, D Wiese
Journal of Computing in Higher Education 32 (1), 9-26, 2020
752020
The complexity of the temporal logic with “until” over general linear time
M Reynolds
Journal of Computer and System Sciences 66 (2), 393-426, 2003
752003
Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification
H Xue, DQ Huynh, M Reynolds
Digital Image Computing: Techniques and Applications (DICTA), 2017 …, 2017
732017
Synthesis of LTL formulas from natural language texts: State of the art and research directions
A Brunello, A Montanari, M Reynolds
26th International symposium on temporal representation and reasoning (TIME …, 2019
712019
On the products of linear modal logics
M Reynolds, M Zakharyaschev
Journal of Logic and Computation 11 (6), 909-931, 2001
712001
A decidable temporal logic of parallelism
M Reynolds
Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997
661997
A quest for a one-size-fits-all neural network: early prediction of students at risk in online courses
DM Olive, DQ Huynh, M Reynolds, M Dougiamas, D Wiese
IEEE Transactions on Learning Technologies 12 (2), 171-183, 2019
642019
Quantum algorithm for visual tracking
CH Yu, F Gao, C Liu, D Huynh, M Reynolds, J Wang
Physical Review A, 2019
632019
Deep learning methods for enhancing cone‐beam CT image quality toward adaptive radiation therapy: a systematic review
B Rusanov, GM Hassan, M Reynolds, M Sabet, J Kendrick, ...
Medical Physics 49 (9), 6019-6054, 2022
622022
When geo-text meets security: Privacy-preserving boolean spatial keyword queries
N Cui, J Li, X Yang, B Wang, M Reynolds, Y Xiang
2019 IEEE 35th International Conference on Data Engineering (ICDE), 1046-1057, 2019
622019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20