Theofrastos Mantadelis


AuthID: R-006-M1K

Publicações Confirmadas: 19



1
TÍTULO: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation
AUTORES: Oliveira, J ; Mantadelis, T ; Renna, F ; Gomes, P; Coimbra, M ;
PUBLICAÇÃO: 2017, FONTE: IEEE International Workshop on Signal Processing Systems (SiPS) in 2017 IEEE INTERNATIONAL WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), VOLUME: 2017-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
2
TÍTULO: Using Iterative Deepening for Probabilistic Logic Inference
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: PADL, VOLUME: 10137 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
3
TÍTULO: CLASS: Contemplative Landscape Automated Scoring System
AUTORES: Navickas, L; Olszewska, A ; Mantadelis, T ;
PUBLICAÇÃO: 2016, FONTE: 24th Mediterranean Conference on Control and Automation (MED) in 2016 24TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4
TÍTULO: Why should you model time when you use Markov Models for heart sound analysis
AUTORES: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5
TÍTULO: Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
AUTORES: Theofrastos Mantadelis ; Dimitar Sht. Shterionov; Gerda Janssens;
PUBLICAÇÃO: 2015, FONTE: LPNMR, VOLUME: 9345
INDEXADO EM: Scopus DBLP CrossRef: 1
6
TÍTULO: Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation
AUTORES: Theofrastos Mantadelis ; Jorge Oliveira ; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2015, FONTE: PLP@ICLP, VOLUME: 1413
INDEXADO EM: Scopus DBLP
7
TÍTULO: SkILL - a Stochastic Inductive Logic Learner
AUTORES: Côrte Real, J ; Mantadelis, T ; Dutra, I ; Rocha, R ; Burnside, E;
PUBLICAÇÃO: 2015, FONTE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA)
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
8
TÍTULO: A portable prolog predicate for printing rational terms
AUTORES: Mantadelis, T ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014
INDEXADO EM: Scopus
9
TÍTULO: Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation
AUTORES: Koosha Paridel; Theofrastos Mantadelis ; Ansar Ul Haque Yasar; Davy Preuveneers; Gerda Janssens; Yves Vanrompay; Yolande Berbers;
PUBLICAÇÃO: 2014, FONTE: J. Ambient Intell. Humaniz. Comput., VOLUME: 5, NÚMERO: 4
INDEXADO EM: DBLP CrossRef: 10
10
TÍTULO: Tabling, Rational Terms, and Coinduction Finally Together!
AUTORES: Mantadelis, T ; Rocha, R ; Moura, P ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
Página 1 de 2. Total de resultados: 19.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service