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

AuthID: I-000-0K9


Publications Count: 4441

56 Team Members
Filters -> Year: 2025
3881
TÍTULO: Formal verification of a group membership protocol using model checking
AUTORES: Rosset, V; Souto, PF ; Vasques, R ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, NÚMERO: PART 1, PÁGINAS: 471-488
3882
TÍTULO: Guest editorial: Special issue on reconfigurable hardware systems
AUTORES: Joao M P Cardoso ; Koen Bertels; George A Constantinides; Stamatis Vassiliadis;
PUBLICAÇÃO: 2007, FONTE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 94, NÚMERO: 5, PÁGINAS: 431-433
3883
3884
TÍTULO: ILP: Compute Once, Reuse Often
AUTORES: Nuno A Fonseca; Ricardo Rocha; Rui Camacho ; Vítor S Costa;
PUBLICAÇÃO: 2007
3885
TÍTULO: Implementing range queries with a decentralized balanced tree over distributed hash tables
AUTORES: Nuno Lopes; Carlos Baquero ;
PUBLICAÇÃO: 2007, FONTE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PÁGINAS: 197-206
3886
TÍTULO: Improving brokering adaptation in dynamic heterogeneous environments
AUTORES: Nogueira, L ; Oliveira, E ;
PUBLICAÇÃO: 2007, FONTE: International Journal of Product Lifecycle Management, VOLUME: 2, NÚMERO: 2, PÁGINAS: 111-134
3887
TÍTULO: Improving on version stamps
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, NÚMERO: PART 2, PÁGINAS: 1025-1031
3888
TÍTULO: Improving the quality of collaboration requirements for information management through social networks analysis
AUTORES: Carla Sofia Pereira ; Antonia Lucas Soares ;
PUBLICAÇÃO: 2007, FONTE: INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT, VOLUME: 27, NÚMERO: 2, PÁGINAS: 86-103
3889
TÍTULO: INESC, Porto at TRECVID 2007: Automatic and interactive video search
AUTORES: Calistru, C; Ribeiro, C ; David, G ; Rodrigues, I ; Laboreiro, G;
PUBLICAÇÃO: 2007, FONTE: TREC Video Retrieval Evaluation, TRECVID 2007 in 2007 TREC Video Retrieval Evaluation Notebook Papers
3890
TÍTULO: Institutional reality and norms: Specifying and monitoring agent organizations
AUTORES: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLICAÇÃO: 2007, FONTE: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, VOLUME: 16, NÚMERO: 1, PÁGINAS: 67-95
3891
TÍTULO: Intelligent farmer agent for multi-agent ecological simulations optimization
AUTORES: Cruz, F; Pereira, A ; Valente, P; Duarte, P; Reis, LP ;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PÁGINAS: 593-+
3892
TÍTULO: Intelligent wearable system for continuously monitoring the heartbeat
AUTORES: Teodoro Seromenho, RJ; Gil Gonçalves ; Tavares Correia, JPM;
PUBLICAÇÃO: 2007, FONTE: 2007 IADIS International Conference on Intelligent Systems and Agents, ISA 2007, part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007, VOLUME: Part 1, PÁGINAS: 255-256
3893
TÍTULO: Interface framework to drive an intelligent wheelchair using facial expressions
AUTORES: Pedro Miguel Faria; Rodrigo A M Braga; Eduardo Valgode; Luis Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PÁGINAS: 1791-1796
3894
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Dayde, M; Palma, JMLM ; Coutinho, ALGA; Pacitti, E; Lopes, JC ;
PUBLICAÇÃO: 2007, FONTE: 7th International Meeting on High-Performance Computing for Computational Science, VECPAR 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4395 LNCS
3895
TÍTULO: Light fields: Aplicação didáctica de criação de novas vistas a partir de múltiplas imagens.
AUTORES: Faria, BM ; Sousa, AA; Reis, LP ;
PUBLICAÇÃO: 2007, FONTE: 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao: Novas Perspectivas em Sistemas e Tecnologias de Informacao, CISTI 2007 - 2nd Iberian Conference on Information Systems and Technologies: New Perspectives on Information Systems and Technologies, CISTI 2007 in Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007, PÁGINAS: 381-392
3896
TÍTULO: Light Fields: Application of Educational Establishment for New Views from Multiple Images
AUTORES: Brigida Monica Faria ; Antonio Augusto Sousa ; Luis Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PÁGINAS: 381-392
3897
TÍTULO: Making RAPOSA (FOX) smarter
AUTORES: Sarmento, L; Oliveira, E ;
PUBLICAÇÃO: 2007, FONTE: 2007 Working Notes for CLEF Workshop, CLEF 2007 - Co-located with the 11th European Conference on Digital Libraries, ECDL 2007 in CEUR Workshop Proceedings, VOLUME: 1173
3898
TÍTULO: Message from the HeteroPar 2007 Chair
AUTORES: Beaumont, O; Gimenez, D; Kalinov, A; Lastovetsky, A; Robert, Y; Trystram, D; Bahi, JM; Baker, M; Banicescu, I; Barbosa, J ; Boeres, C; Bosque, JL; Clematis, A; Dayde, M; Desprez, F; Dongarra, J; Dutot, PF; Goldman, A; Guermouche, A; Ichikawa, S; Jeannot, E; Karatza, H; Kechadi, T; Laforenza, D; Lan, Z; Manneback, P; Nasri, W; Petcu, D; Petiton, S; Plaza, AJ; Reddy, R; Rodriguez, C; Seredynski, F; Siegel, HJ; Sips, H; Sousa, L ; Vidal, AM; Yahyapour, R; Cesar, E; Lucchese, C; Printista, M; Shestak, V; Sinnen, O; Smith, G; Smith, J; ...Mais
PUBLICAÇÃO: 2007, FONTE: IEEE International Conference on Cluster Computing in 2007 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PÁGINAS: 496-496
3899
TÍTULO: Multimedia in cultural heritage collections: A model and applications
AUTORES: Cristina Ribeiro ; Gabriel David ; Catalin Calistrul;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Asian Digital Libraries in ASIAN DIGITAL LIBRARIES: LOOKING BACK 10 YEARS AND FORGING NEW FRONTIERS, PROCEEDINGS, VOLUME: 4822, PÁGINAS: 186-195
3900
TÍTULO: Multimedia interface with an intelligent wheelchair
AUTORES: Bruno Martins; Eduardo Valgode; Pedro Faria; Luis Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS, PÁGINAS: 267-273

Results per Page: 20.
Página 195 de 223. Total de resultados: 4441.