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
1861
TITLE: Risk assessment through argumentation over contractual data
AUTHORS: Pedro Brandao Neto; Ana Paula Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
1862
TITLE: Ship damage control action simulation using HLA
AUTHORS: Martins, PT; Rossetti, RJF ; Brito, AC ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the 10th International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013 in 15th Int. Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013, PAGES: 90-99
1863
TITLE: Sophistication as randomness deficiency
AUTHORS: Mota, F; Aaronson, S; Antunes, L ; Souto, A ;
PUBLISHED: 2013, SOURCE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS, PAGES: 172-181
1864
TITLE: Space allocation in the retail industry: A decision support system integrating evolutionary algorithms and regression models
AUTHORS: Pinto, F; Soares, C ;
PUBLISHED: 2013, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
1865
TITLE: Specifying adaptations through a DSL with an application to mobile robot navigation
AUTHORS: Santos, AC; Cardoso, JMP ; Diniz, PC ; Ferreira, DR;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PAGES: 219-234
1866
TITLE: Spectrum-based fault localization for diagnosing concurrency faults
AUTHORS: Koca, F; Sozer, H; Abreu, R ;
PUBLISHED: 2013, SOURCE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PAGES: 239-254
1867
TITLE: Speeding-up poker game abstraction computation: Average rank strength
AUTHORS: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PAGES: 56-64
1868
TITLE: Superefficiency and multiplier adjustment in data envelopment analysis
AUTHORS: Santos, J; Luís Cavique ; Mendes, AB;
PUBLISHED: 2013, SOURCE: Efficiency Measures in the Agricultural Sector: With Applications, VOLUME: 9789400757394, PAGES: 51-70
1869
TITLE: Sustainable tourism and agriculture multifunctionality by PAR: A variable selection approach
AUTHORS: Mendes, AB ; Noncheva, V; Silva, E;
PUBLISHED: 2013, SOURCE: Efficiency Measures in the Agricultural Sector: With Applications, VOLUME: 9789400757394, PAGES: 137-156
1870
TITLE: The impact of benevolence in computational trust
AUTHORS: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PAGES: 210-224
1871
TITLE: The LARA language
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 35-70
1872
TITLE: The MATISSE MATLAB Compiler
AUTHORS: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608
1873
TITLE: The REFLECT design-flow
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 13-34
1874
TITLE: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
AUTHORS: Steimann, F; Frenkel, M; Abreu, R ;
PUBLISHED: 2013, SOURCE: 22nd International Symposium on Software Testing and Analysis, ISSTA 2013 in 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, PAGES: 314-324
1875
TITLE: Towards a Framework for Pedestrian Simulation for Intermodal Interfaces
AUTHORS: Joao Emilio Almeida; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2013, SOURCE: UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS) in UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), PAGES: 335-340
1876
1877
TITLE: Transparent runtime migration of loop-based traces of processor instructions to reconfigurable processing units
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2013, PAGES: 1-20
1878
TITLE: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTHORS: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
1879
TITLE: Understanding Sequential Decisions via Inverse Reinforcement Learning
AUTHORS: Siyuan Y Liu; Miguel Araujo ; Emma Brunskill; Rosaldo Rossetti ; Joao Barros ; Ramayya Krishnan;
PUBLISHED: 2013, SOURCE: IEEE 14th International Conference on Mobile Data Management (MDM) in 2013 IEEE 14TH INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT (MDM 2013), VOL 1, VOLUME: 1, PAGES: 177-186
1880
TITLE: Using HTML5 visualizations in software fault localization
AUTHORS: Gouveia, C; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st IEEE Working Conference on Software Visualization, VISSOFT 2013 in 2013 1st IEEE Working Conference on Software Visualization - Proceedings of VISSOFT 2013, PAGES: 1-10

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