Results 1-10 of 173
Publication DateTitleAuthor(s)
29-Dec-2015Capturing correlations of local features for image representationHong, X; Zhao, G; Zafeiriou, S; Pantic, M; Pietikainen, M
29-May-2016A robust similarity measure for volumetric image registration with outliersSnape, P; Pszczolkowski, S; Zafeiriou, S; Tzimiropoulos, G; Ledig, C, et al
22-Apr-2015The MAHNOB Mimicry Database: A database of naturalistic human interactionsBilakhia, S; Petridis, S; Nijholt, A; Pantic, M
16-Sep-2016Fine-grained Material Classification using Micro-geometry and ReflectanceKampouris, C; Zafeiriou, S; Ghosh, A; Malassiotis, S
1-Jan-2016Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regressionDi Pierro, A; Wiklicky, H
22-Mar-2017Explicit connection actions in multiparty session typesHu, R; Yoshida, N
4-Sep-2009Small specifications for tree updateGardner, PA; Wheelhouse, M
1-Jan-2010Concurrent abstract predicatesDinsdale-Young, T; Dodds, M; Gardner, PA; Parkinson, M; Vafeiadis, V
9-Dec-2015Fault-tolerant Resource ReasoningNtzik, G; Da Rocha Pinto, P; Gardner, P
1-Jan-2009Automatic parallelization with separation logicRaza, M; Calcagno, C; Gardner, P