Browsing by Subject Computational complexity
Showing results 1 to 16 of 16
| Issue Date | Title | Author(s) |
| 2020 | The complexity of identifying characteristic formulae | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2006 | A compositional algorithm for parallel model checking of polygonal hybrid systems | Pace, Gordon J.; Schneider, Gerardo |
| 2008 | Computation and visualisation of phase portraits for model checking SPDIs | Pace, Gordon J.; Schneider, Gerardo |
| 2012 | Fast scalable k-NN computation for very large point clouds | Spina, Sandro; Debattista, Kurt; Bugeja, Keith; Chalmers, A. |
| 2014 | High-fidelity graphics for dynamically generated environments using distributed computing | Bugeja, Keith; Debattista, Kurt; Spina, Sandro; Chalmers, Alan |
| 2018 | Manufacturing production line modelling and classification of associated np-hard problems | Bonello, Joseph; Abela, John; Cachia, Ernest |
| 2004 | Model checking polygonal differential inclusions using invariance kernels | Pace, Gordon J.; Schneider, Gerardo |
| 2013 | Path finding and motion planning in climbing | De Barro, Adrian (2013) |
| 2021 | Pornographic content classification using deep-learning | Tabone, André; Camilleri, Kenneth P.; Bonnici, Alexandra; Cristina, Stefania; Farrugia, Reuben A.; Borg, Mark |
| 2020 | Private body part detection using deep learning | Tabone, André; Bonnici, Alexandra; Cristina, Stefania; Farrugia, Reuben A.; Camilleri, Kenneth P. |
| 2007 | Proving distributed algorithm correctness using fault tolerance bisimulations | Francalanza, Adrian; Hennessy, Matthew |
| 2008 | Relaxing goodness is still good | Pace, Gordon J.; Schneider, Gerardo |
| 2008 | Relaxing goodness is still good for SPDIs | Pace, Gordon J.; Schneider, Gerardo |
| 2006 | Static analysis of SPDIs for state-space reduction | Pace, Gordon J.; Schneider, Gerardo |
| 2015 | Trade-off between computational complexity and accuracy in evolutionary image feature extraction | Albukhanajer, Wissam A.; Jin, Yaochu; Briffa, Johann A. |
| 2007 | Using weak bisimulation for enterprise integration architecture formal verification--I | Cachia, Ernest; Vella, Mark Joseph |
