Browsing by Subject Computational complexity

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 16 of 16
Issue DateTitleAuthor(s)
2020The complexity of identifying characteristic formulaeAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2006A compositional algorithm for parallel model checking of polygonal hybrid systemsPace, Gordon J.; Schneider, Gerardo
2008Computation and visualisation of phase portraits for model checking SPDIsPace, Gordon J.; Schneider, Gerardo
2012Fast scalable k-NN computation for very large point cloudsSpina, Sandro; Debattista, Kurt; Bugeja, Keith; Chalmers, A.
2014High-fidelity graphics for dynamically generated environments using distributed computingBugeja, Keith; Debattista, Kurt; Spina, Sandro; Chalmers, Alan
2018Manufacturing production line modelling and classification of associated np-hard problemsBonello, Joseph; Abela, John; Cachia, Ernest
2004Model checking polygonal differential inclusions using invariance kernelsPace, Gordon J.; Schneider, Gerardo
2013Path finding and motion planning in climbingDe Barro, Adrian (2013)
2021Pornographic content classification using deep-learningTabone, André; Camilleri, Kenneth P.; Bonnici, Alexandra; Cristina, Stefania; Farrugia, Reuben A.; Borg, Mark
2020Private body part detection using deep learningTabone, André; Bonnici, Alexandra; Cristina, Stefania; Farrugia, Reuben A.; Camilleri, Kenneth P.
2007Proving distributed algorithm correctness using fault tolerance bisimulationsFrancalanza, Adrian; Hennessy, Matthew
2008Relaxing goodness is still goodPace, Gordon J.; Schneider, Gerardo
2008Relaxing goodness is still good for SPDIsPace, Gordon J.; Schneider, Gerardo
2006Static analysis of SPDIs for state-space reductionPace, Gordon J.; Schneider, Gerardo
2015Trade-off between computational complexity and accuracy in evolutionary image feature extractionAlbukhanajer, Wissam A.; Jin, Yaochu; Briffa, Johann A.
2007Using weak bisimulation for enterprise integration architecture formal verification--ICachia, Ernest; Vella, Mark Joseph