Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

AuthID: I-000-0K9


Publications Count: 4655

62 Team Members
Filters -> Year: 2026
1481
TÍTULO: Understanding the decisions of CNNs: An in-model approach
AUTORES: Rio Torto, I ; Fernandes, K; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: PATTERN RECOGNITION LETTERS, VOLUME: 133, PÁGINAS: 373-380
1482
TÍTULO: Understanding the Impact of Artificial Intelligence on Services
AUTORES: Ferreira, P; Teixeira, JG ; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: 10th International Conference on Exploring Service Science (IESS) in EXPLORING SERVICE SCIENCE (IESS 2020), VOLUME: 377, PÁGINAS: 202-213
1483
TÍTULO: UnFOOT: Unsupervised Football Analytics Tool
AUTORES: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLICAÇÃO: 2020, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT III, VOLUME: 11908, PÁGINAS: 786-789
1484
TÍTULO: Using autoencoders as a weight initialization method on deep neural networks for disease detection
AUTORES: Ferreira, MF ; Camacho, R ; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) / Session on Machine Learning in Healthcare Informatics and Medical Biology in BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 20, NÚMERO: 5, PÁGINAS: 141
1485
TÍTULO: Validating Multiple Variants of an Automotive Light System with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: ABZ, VOLUME: 12071 LNCS, PÁGINAS: 318-334
1486
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, NÚMERO: 3, PÁGINAS: 281-296
1487
TÍTULO: Verification of system-wide safety properties of ROS applications
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 7249-7254
1488
TÍTULO: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTORES: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2020, FONTE: ICCS (5), VOLUME: 12141 LNCS, PÁGINAS: 357-370
1489
TÍTULO: Visual sketching. from image sketches to code
AUTORES: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
1490
TÍTULO: Visual Sketching: From Image Sketches to Code
AUTORES: d'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PÁGINAS: 101-104
1491
TÍTULO: Visual sketching: From image sketches to code
AUTORES: D'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PÁGINAS: 101-104
1492
TÍTULO: WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers
AUTORES: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PÁGINAS: 26
1493
TÍTULO: Welcome Message
AUTORES: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
1494
TÍTULO: Workflow scheduling with Amazon EC2 spot instances: Building reliable compute environments
AUTORES: Sampaio, AM ; Barbosa, JG ;
PUBLICAÇÃO: 2020, FONTE: International Journal of Machine Learning and Computing, VOLUME: 10, NÚMERO: 1, PÁGINAS: 140-147
1495
TÍTULO: Workshop on Machine Learning in Smart Mobility
AUTORES: Sara Ferreira ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: IDEAL (2), VOLUME: 12490 LNCS, PÁGINAS: 573-574
1496
TÍTULO: "This Is Nice but That Is Childish": Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals. Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals
AUTORES: Cesario, V; Coelho, A ; Nisi, V;
PUBLICAÇÃO: 2019, FONTE: 6th ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY) in CHI PLAY'19: EXTENDED ABSTRACTS OF THE ANNUAL SYMPOSIUM ON COMPUTER-HUMAN INTERACTION IN PLAY, PÁGINAS: 159-169
1497
1498
TÍTULO: A Board Game to Teach Team Composition in Software Startups
AUTORES: Jorge Melegati ; Eduardo Guerra; Igor Knop; Xiaofeng Wang;
PUBLICAÇÃO: 2019, FONTE: ICSOB, PÁGINAS: 321-335
1499
TÍTULO: A classification scheme for analyses of messages exchanged in online health forums
AUTORES: Lopes, CT ; Da Silva, BG;
PUBLICAÇÃO: 2019, FONTE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, NÚMERO: 1
1500
TÍTULO: A Comparative Analysis of Unsupervised Language Adaptation Methods
AUTORES: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: DeepLo@EMNLP-IJCNLP, PÁGINAS: 11-21

Results per Page: 20.
Página 75 de 233. Total de resultados: 4655.