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

AuthID: I-000-0K9


Publications Count: 4721

62 Team Members
Filters -> Year: 2026
3361
TÍTULO: An optimized conflict-free replicated set
AUTORES: Annette Bieniusa; Marek Zawirski; Nuno M Preguiça ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sérgio Duarte;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1210.3368
3362
TÍTULO: An Urban Ontology to Generate Collaborative Virtual Environments for Municipal Planning and Management
AUTORES: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLICAÇÃO: 2012, FONTE: GRAPP/IVAPP, PÁGINAS: 507-510
3363
TÍTULO: Analysing Tactics in Architectural Patterns
AUTORES: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PÁGINAS: 32-41
3364
TÍTULO: Analysis of error detection schemes: Toolchain support and hardware/software implications
AUTORES: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLICAÇÃO: 2012, FONTE: AHS, PÁGINAS: 62-69
3365
TÍTULO: ANTE: Agreement Negotiation in Normative and Trust-Enabled Environments
AUTORES: Henrique Lopes Cardoso ; Joana Urbano ; Pedro Brandao; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 261-264
3366
3367
TÍTULO: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
AUTORES: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 51-58
3368
TÍTULO: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO
AUTORES: Teixeira, LF ; Carvalho, P ; Cardoso, JS ; Corte Real, L ;
PUBLICAÇÃO: 2012, FONTE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PÁGINAS: 1609-1612
3369
TÍTULO: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTORES: Almeida, F; Abreu, PH ; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 849-856
3370
TÍTULO: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
3371
TÍTULO: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery
AUTORES: Oliveira, JL ; Davies, MEP ; Gouyon, F ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, NÚMERO: 10, PÁGINAS: 2696-2706
3372
TÍTULO: Bidirectional Transformation of Model-Driven Spreadsheets
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: ICMT@TOOLS, VOLUME: 7307 LNCS, PÁGINAS: 105-120
3373
TÍTULO: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTORES: João Pedro Reis ; Antonio Pereira ; Luis Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
3374
TÍTULO: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTORES: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PÁGINAS: 162-+
3375
3376
TÍTULO: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTORES: Bieniusa, A; Zawirski, M; Preguiça, N ; Shapiro, M; Baquero, C ; Balegas, V; Duarte, S ;
PUBLICAÇÃO: 2012, FONTE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PÁGINAS: 441-+
3377
TÍTULO: Bus Bunching Detection by Mining Sequences of Headway Deviations
AUTORES: Luís Moreira Matias ; Carlos Ferreira ; João Gama ; João Mendes Moreira ; Jorge Freire de Sousa ;
PUBLICAÇÃO: 2012, FONTE: ICDM, VOLUME: 7377 LNAI, PÁGINAS: 77-91
3378
TÍTULO: Bus Bunching detection: A sequence mining approach
AUTORES: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 13-17
3379
TÍTULO: Cerebral Palsy EEG signals Classification: Facial Expressions and Thoughts for Driving an Intelligent Wheelchair
AUTORES: Faria, BM ; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2012, FONTE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PÁGINAS: 33-40
3380
TÍTULO: Coastal Ecosystems Simulation: A Decision Tree Analysis for Bivalve's Growth Conditions
AUTORES: João Pedro Reis ; Pereira, A ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 392-+

Results per Page: 20.
Página 169 de 237. Total de resultados: 4721.