Theofrastos Mantadelis


AuthID: R-006-M1K

Confirmed Publications: 19



1
TITLE: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation  Full Text
AUTHORS: Jorge Oliveira ; Theofrastos Mantadelis ; Francesco Renna ; Pedro Gomes; Miguel Coimbra ;
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: 4
IN MY: DBLP
2
TITLE: Using Iterative Deepening for Probabilistic Logic Inference
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017 in Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, VOLUME: 10137
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP
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
IN MY: DBLP
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
IN MY: DBLP
5
TITLE: Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
AUTHORS: Theofrastos Mantadelis ; Dimitar Sht. Shterionov; Gerda Janssens;
PUBLISHED: 2015, SOURCE: 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015 in Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, VOLUME: 9345
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
6
TITLE: Most probable explanation for MetaProbLog and its application in heart sound segmentation PDF
AUTHORS: Mantadelis, T ; Oliveira, J ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 2nd International Workshop on Probabilistic Logic Programming, PLP 2015 - co-located with 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1413
INDEXED IN: Scopus DBLP
IN MY: DBLP
7
TITLE: SkILL - a Stochastic Inductive Logic Learner
AUTHORS: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
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: 6
IN MY: DBLP
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 Intelligence and Humanized Computing, VOLUME: 5, ISSUE: 4
INDEXED IN: DBLP CrossRef
IN MY: DBLP
10
TITLE: Tabling, Rational Terms, and Coinduction Finally Together!
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
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: 2
IN MY: DBLP
Page 1 of 2. Total results: 19.

A place for researchers and their institutions

Useful Links

Get Help

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