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

AuthID: I-000-0K9


Publications Count: 3893

49 Team Members
Filters -> Year: 2024
2341
TITLE: A Framework for Modular and Customizable Software Analysis
AUTHORS: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 443-458
2342
TITLE: A Generic Scheme and Properties of Bidirectional Transformations
AUTHORS: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.4473
2343
TITLE: A HLA-based Multi-Resolution Approach to Simulating Electric Vehicles in Simulink and SUMO
AUTHORS: Jose Macedo; Zafeiris Kokkinogenis ; Guilherme Soares; Deborah Perrotta; Rosaldo J F Rossetti ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2367-2372
2344
TITLE: A Hybrid Approach at Emotional State Detection: Merging Theoretical Models of Emotion with Data-Driven Statistical Classifiers
AUTHORS: Pedro A Nogueira ; Rui Rodrigues ; Eugenio Oliveira ; Lennart E Nacke;
PUBLISHED: 2013, SOURCE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PAGES: 253-260
2345
TITLE: A kernel density estimate-based approach to component goodness modeling
AUTHORS: Cardoso, N; Abreu, R ;
PUBLISHED: 2013, SOURCE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, PAGES: 152-158
2346
TITLE: A method for the development of Dublin core application profiles (me4dcap v0.2): Detailed description
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2013, SOURCE: 2013 International Conference on Dublin Core and Metadata Applications: Linking to the Future, DC 2013 in Proceedings of the International Conference on Dublin Core and Metadata Applications, PAGES: 90-103
2347
TITLE: A note from the program chairs
AUTHORS: Morrow, K; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
2348
TITLE: A Pattern-Based Approach for GUI Modeling and Testing
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PAGES: 288-297
2349
TITLE: A Poker Game Description Language
AUTHORS: Joao Castro Correia; Luis Filipe Teofilo ; Henrique Lopes Cardoso ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PAGES: 353-360
2350
TITLE: A Serious Game for EVAcuation Training
AUTHORS: Silva, JF; Almeida, JE; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2013, SOURCE: IEEE 2nd International Conference on Serious Games and Applications for Health (SeGAH) in 2013 IEEE 2ND INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH), PAGES: 1-6
2351
TITLE: A socio-cognitive perspective of trust
AUTHORS: Urbano, J; Paula Rocha, A ; Oliveira, E ;
PUBLISHED: 2013, SOURCE: Agreement Technologies, PAGES: 419-429
2352
TITLE: A testing and certification methodology for an Ambient-Assisted Living ecosystem
AUTHORS: Faria, JP ; Lima, B ; Sousa, TB ; Martins, A ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PAGES: 585-589
2353
TITLE: Active Selection of Training Instances for a Random forest Meta-Learner
AUTHORS: Arthur F M Sousa; Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLISHED: 2013, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2013 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1-7
2354
TITLE: Adaptive consoles for supervisory control of multiple unmanned aerial vehicles
AUTHORS: Fuchs, C; Ferreira, S ; Sousa, J ; Gil Gonçalves ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8007 LNCS, ISSUE: PART 4, PAGES: 678-687
2355
TITLE: An agent-based framework for intelligent optimization of interactive visualizations
AUTHORS: Moreira, PM ; Reis, LP ; Augusto Sousa, A ;
PUBLISHED: 2013, SOURCE: 5th International Conference on Agents and Artificial Intelligence, ICAART 2013 in ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, VOLUME: 1, PAGES: 154-159
2356
TITLE: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
2357
TITLE: An automatic approach to extract goal plans from soccer simulated matches
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: SOFT COMPUTING, VOLUME: 17, ISSUE: 5, PAGES: 835-848
2358
TITLE: An automatic tool flow for the combined implementation of multi-mode circuits
AUTHORS: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLISHED: 2013, SOURCE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 821-826
2359
TITLE: An FPGA-based multi-core approach for pipelining computing stages
AUTHORS: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1533-1540
2360
TITLE: Analysis of object description methods in a video object tracking environment
AUTHORS: Carvalho, P ; Oliveira, T; Ciobanu, L ; Gaspar, F; Luis F. Teixeira ; Bastos, R; Cardoso, JS ; Dias, MS ; Corte Real, L ;
PUBLISHED: 2013, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 24, ISSUE: 6, PAGES: 1149-1165

Results per Page: 20.
Page 118 of 195. Total results: 3893.