Theofrastos Mantadelis


AuthID: R-006-M1K

Confirmed Publications: 19



1
TITLE: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation
AUTHORS: Oliveira, J ; Mantadelis, T ; Renna, F ; Gomes, P; Coimbra, M ;
PUBLISHED: 2017, SOURCE: IEEE International Workshop on Signal Processing Systems (SiPS) in 2017 IEEE INTERNATIONAL WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), VOLUME: 2017-October
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2
TITLE: Using Iterative Deepening for Probabilistic Logic Inference
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: PADL, VOLUME: 10137 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
3
TITLE: CLASS: Contemplative Landscape Automated Scoring System
AUTHORS: Navickas, L; Olszewska, A ; Mantadelis, T ;
PUBLISHED: 2016, SOURCE: 24th Mediterranean Conference on Control and Automation (MED) in 2016 24TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
4
TITLE: Why should you model time when you use Markov Models for heart sound analysis
AUTHORS: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5
TITLE: Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
AUTHORS: Theofrastos Mantadelis ; Dimitar Sht. Shterionov; Gerda Janssens;
PUBLISHED: 2015, SOURCE: LPNMR, VOLUME: 9345
INDEXED IN: Scopus DBLP CrossRef: 1
6
7
TITLE: SkILL - a Stochastic Inductive Logic Learner
AUTHORS: Côrte Real, J ; Mantadelis, T ; Dutra, I ; Rocha, R ; Burnside, E;
PUBLISHED: 2015, SOURCE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA)
INDEXED IN: Scopus WOS DBLP CrossRef: 7
8
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus
9
TITLE: Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation
AUTHORS: Koosha Paridel; Theofrastos Mantadelis ; Ansar Ul Haque Yasar; Davy Preuveneers; Gerda Janssens; Yves Vanrompay; Yolande Berbers;
PUBLISHED: 2014, SOURCE: J. Ambient Intell. Humaniz. Comput., VOLUME: 5, ISSUE: 4
INDEXED IN: DBLP CrossRef: 10
10
TITLE: Tabling, Rational Terms, and Coinduction Finally Together!
AUTHORS: Mantadelis, T ; Rocha, R ; Moura, P ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
Page 1 of 2. Total results: 19.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service