Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

AuthID: I-000-18J

External   Internal

Publications Count: 2912

85 Team Members
Filters -> Year: 2025
1221
TITLE: Towards a Relation-Based Argument Extraction Model for Argumentation Mining
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Conference on Statistical Language and Speech Processing, SLSP 2017 in Statistical Language and Speech Processing - 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings, VOLUME: 10583, PAGES: 94-105
1222
TITLE: Towards an architecture for smart garbage collection in urban settings
AUTHORS: Ramalho, MA; Rossetti, RJF ; Cacho, N;
PUBLISHED: 2017, SOURCE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 International Smart Cities Conference, ISC2 2017
1223
TITLE: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PAGES: 356-365
1224
TITLE: Transportation in Social Media: An Automatic Classifier for Travel-Related Tweets
AUTHORS: Pereira, J; Pasquali, A ; Saleiro, P; Rossetti, R ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 355-366
1225
TITLE: Type-Based Cost Analysis for Lazy Functional Languages
AUTHORS: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1, PAGES: 87-120
1226
TITLE: Web Application for Support Tutoring System
AUTHORS: Jose Joaquim Moreira ; Antonio Lencastre Godinho; Ana Paula Pinto; Carlos Miguel Oliveira; Manuel Pinto Teixeira;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1227
1228
TITLE: A comparative study of meta-heuristics for the aircraft landing scheduling problem
AUTHORS: Câmara, A; Rubio, TRPM; Silva, DC; Oliveira, E ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies, CISTI 2016 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2016-July
1229
TITLE: A Comparative Study of Meta-Heuristics for the Aircraft Landing Scheduling Problem
AUTHORS: Alvaro Camara; Rubio, TRPM ; Daniel Castro Silva ; Eugenio Oliveira ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1230
TITLE: A Computer-Vision Approach to Traffic Analysis Over Intersections
AUTHORS: Gustavo Lira; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ; Daniel C Moura; Rubio, TRPM ;
PUBLISHED: 2016, SOURCE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 47-53
1231
TITLE: A Data Mining Approach to Predict Falls in Humanoid Robot Locomotion
AUTHORS: Joao Andre; Brigida Monica Faria ; Cristina Santos ; Luis Paulo Reis ;
PUBLISHED: 2016, SOURCE: 2nd Iberian Robotics Conference (ROBOT) in ROBOT 2015: SECOND IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 418, PAGES: 273-285
1232
TITLE: A design and simulation of a Brazilian Bid Based Short-Term Electricity Market
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2016, SOURCE: 13th International Conference on the European Energy Market (EEM) in 2016 13TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2016-July
1233
TITLE: A Facility Layout Planner Tool Based on Genetic Algorithms
AUTHORS: Rui Pinto ; Joana Goncalves; Henrique Lopes Cardoso ; Eugenio Oliveira ; Gil Gonçalves ; Bruno Carvalho;
PUBLISHED: 2016, SOURCE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in PROCEEDINGS OF 2016 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), PAGES: 1-8
1234
TITLE: A Framework for Automatic Debugging of Functional and Degradation Failures
AUTHORS: Cardoso, N ; Abreu, R ; Feldman, A; de Kleer, J;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285, PAGES: 569-576
1235
TITLE: A framework for massively multiplayer online game content generation
AUTHORS: Tiago Alves; Jorge Coelho ;
PUBLISHED: 2016, SOURCE: IEEE 30th International Conference on Advanced Information Networking and Applications (IEEE AINA) in IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, VOLUME: 2016-May, PAGES: 834-841
1236
TITLE: A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory
AUTHORS: Rui Abreu ; César Andrés; Ana R Cavalli;
PUBLISHED: 2016, SOURCE: 11th International Conference on Risks and Security of Internet and Systems, CRISIS 2016 in Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, VOLUME: 10158, PAGES: 169-182
1237
TITLE: A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
AUTHORS: Ricardo Nobre ; Luiz G A Martins; Joao M P Cardoso ;
PUBLISHED: 2016, SOURCE: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 2016 in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 5, PAGES: 21-30
1238
TITLE: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PAGES: 199-208
1239
TITLE: A Pipelined Multi-softcore Approach for the HOG Algorithm
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PAGES: 146-153
1240
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PAGES: 75-99

Results per Page: 20.
Page 62 of 146. Total results: 2912.