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

AuthID: I-000-0K9


Publications Count: 4490

56 Team Members
Filters -> Year: 2025
3141
TITLE: An Urban Ontology to Generate Collaborative Virtual Environments for Municipal Planning and Management
AUTHORS: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2012, SOURCE: International Conference on Computer Graphics Theory and Applications, GRAPP 2012 and International Conference on Information Visualization Theory and Applications, IVAPP 2012 in GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012, PAGES: 507-510
3142
TITLE: Analysing Tactics in Architectural Patterns
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
3143
TITLE: Analysis of error detection schemes: Toolchain support and hardware/software implications
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
3144
TITLE: ANTE: Agreement Negotiation in Normative and Trust-Enabled Environments
AUTHORS: Henrique Lopes Cardoso ; Joana Urbano ; Pedro Brandao; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in ADVANCES ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 155, PAGES: 261-264
3145
TITLE: Assessment of the interference caused by uncontrolled traffic sources upon real-time communication in IEEE 802.11-based mesh networks
AUTHORS: Viegas, CMD; Sampaio, S; Vasques, F ; Portugal, P ; Souto, P ;
PUBLISHED: 2012, SOURCE: 2012 9th IEEE International Workshop on Factory Communication Systems, WFCS 2012 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, PAGES: 59-62
3146
TITLE: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
AUTHORS: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLISHED: 2012, SOURCE: IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, PAGES: 51-58
3147
TITLE: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO
AUTHORS: Luis F Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
3148
TITLE: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
3149
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
3150
TITLE: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
3151
TITLE: Bidirectional Transformation of Model-Driven Spreadsheets
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
3152
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
3153
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 162-+
3154
TITLE: Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. efficient causality tracking in distributed storage systems with dotted version vectors
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012, PAGES: 335-336
3155
TITLE: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-442
3156
TITLE: Bus bunching detection by mining sequences of headway deviations
AUTHORS: Moreira Matias, L ; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: 12th Industrial Conference on Advances in Data Mining, ICDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7377 LNAI, PAGES: 77-91
3157
TITLE: Bus Bunching detection: A sequence mining approach
AUTHORS: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 13-17
3158
TITLE: Cerebral Palsy EEG signals Classification: Facial Expressions and Thoughts for Driving an Intelligent Wheelchair
AUTHORS: Brigida Monica Faria ; Luis Paulo Reis ; Nuno Lau ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 33-40
3159
TITLE: Coastal Ecosystems Simulation: A Decision Tree Analysis for Bivalve's Growth Conditions
AUTHORS: Reis, JP; Pereira, A ; Reis, LP ;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 392-+
3160
TITLE: Collaborative Spaces as Mediators for Information Sharing in Collaborative Networks
AUTHORS: Antonio Lucas Soares ; Fabio Alves ;
PUBLISHED: 2012, SOURCE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PAGES: 459-466

Results per Page: 20.
Page 158 of 225. Total results: 4490.