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

AuthID: I-000-0K9


Publications Count: 4461

56 Team Members
Filters -> Year: 2025
161
TÍTULO: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTORES: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.23696
162
TÍTULO: Zero-Shot and Hybrid Strategies for Tetun Ad-Hoc Text Retrieval
AUTORES: Gabriel de Jesus; Siddharth K Singh; Sérgio Nunes ; Andrew Yates;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PÁGINAS: 264-274
163
TÍTULO: 0-DMF: A Decision-Support Framework for Zero Defects Manufacturing
AUTORES: Beatriz Coutinho; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024 in Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024, Porto, Portugal, November 18-20, 2024, Volume 1., VOLUME: 1, PÁGINAS: 253-260
164
165
TÍTULO: 4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
AUTORES: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim Jorge;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.18887
166
TÍTULO: 7th International Workshop on Software-intensive Business (IWSiB 2024): Software-intensive Business in the Era of Generative Artificial Intelligence
AUTORES: Jorge Melegati ; Dimitri Petrik; Andrey Saltan;
PUBLICAÇÃO: 2024, FONTE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 49, NÚMERO: 4, PÁGINAS: 22-25
167
TÍTULO: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTORES: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLICAÇÃO: 2024, FONTE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PÁGINAS: 1-8
168
TÍTULO: A case study on phishing detection with a machine learning net
AUTORES: Bezerra, Ana; Pereira, Ivo; Rebelo, Miguel Angelo; Coelho, Duarte; de Oliveira, Daniel Alves; Costa, Joaquim F. Pinto ; Cruz, Ricardo P. M. ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 20, NÚMERO: 3, PÁGINAS: 2001-2020
169
TÍTULO: A Community-Driven Data-to-Text Platform for Football Match Summaries
AUTORES: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PÁGINAS: 164-173
170
TÍTULO: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTORES: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PÁGINAS: 181-190
171
TÍTULO: A Fast and Energy-Efficient Method for Online and Incremental Pareto-Front Update
AUTORES: Paulo J S Ferreira; João Mendes Moreira ; João M P Cardoso ;
PUBLICAÇÃO: 2024, FONTE: 10th IEEE World Forum on Internet of Things, WF-IoT 2024 in 10th IEEE World Forum on Internet of Things, WF-IoT 2024, Ottawa, ON, Canada, November 10-13, 2024, PÁGINAS: 1-6
172
TÍTULO: A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLICAÇÃO: 2024, FONTE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PÁGINAS: 178-182
173
TÍTULO: A Proposed Educational Framework for Professional Upskilling in Smart Manufacturing: On-Demand Microlearning Units
AUTORES: Rui Pinto ; Adrian Lomba Perez; Gil Gonçalves ; Jesús F Lampón; Hugo Pérez Moure;
PUBLICAÇÃO: 2024, FONTE: 6th International Conference on Industry 4.0 and Smart Manufacturing, ISM 2024 in Proceedings of the 6th International Conference on Industry 4.0 and Smart Manufacturing (ISM 2024), Prague, Czech Republic, 20-22 November 2024., VOLUME: 253, PÁGINAS: 2039-2048
174
TÍTULO: A Zero-Shot Learning Approach for Task Allocation Optimization in Cyber-Physical Systems
AUTORES: Pereira, Eliseu ; Reis, Joao; Rossetti, Rosaldo J. F. ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, VOLUME: 2, PÁGINAS: 90-97
175
TÍTULO: Across the Atlantic: Distinguishing Between European and Brazilian Portuguese Dialects
AUTORES: David Preda; Tomás Freitas Osório; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PÁGINAS: 353-363
176
TÍTULO: Acting Emotions: a comprehensive dataset of elicited emotions
AUTORES: Aly, Luis; Godinho, Leonor; Bota, Patricia; Bernardes, Gilberto ; da Silva, Hugo Placido;
PUBLICAÇÃO: 2024, FONTE: SCIENTIFIC DATA, VOLUME: 11, NÚMERO: 1
177
TÍTULO: Active Supervision: Human in the Loop
AUTORES: Cruz, Ricardo P. M. ; Shihavuddin, A. S. M.; Maruf, Md. Hasan; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2024, FONTE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PÁGINAS: 540-551
178
179
TÍTULO: Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2024, FONTE: ICAART (Revised Selected Paper), VOLUME: 14546
180
TÍTULO: AIMSM - A Mechanism to Optimize Systems with Multiple AI Models: A Case Study in Computer Vision for Autonomous Mobile Robots
AUTORES: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ; António Augusto de Sousa ; Rui Rodrigues ; Rosaldo Rossetti ;
PUBLICAÇÃO: 2024, FONTE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Progress in Artificial Intelligence - 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III, VOLUME: 14969, PÁGINAS: 53-64

Results per Page: 20.
Página 9 de 224. Total de resultados: 4461.