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

AuthID: I-000-0K9


Publications Count: 3967

49 Team Members
Filters -> Year: 2025
3421
TITLE: Experimental results on command and control of unmanned air vehicle systems
AUTHORS: Almeida, P; Bencatel, R ; Gil Gonçalves ; Sousa, JB; Ruetz, C;
PUBLISHED: 2007, SOURCE: 6th IFAC Symposium on Intelligent Autonomous Vehicles, IAV2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 6, ISSUE: PART 1, PAGES: 239-244
3422
TITLE: Exploiting parallelism in configurable architectures through custom array mapping
AUTHORS: Baradaran, N; Diniz, PC ;
PUBLISHED: 2007, SOURCE: International Conference on Field Programmable Logic and Applications in IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 1, ISSUE: 4, PAGES: 303-311
3423
TITLE: Exploraory studies on the use of VoIP technologies by end users
AUTHORS: Paulo Cesar Cardoso; Nuno Ribeiro; Luis Paulo Reis ;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PAGES: 503-514
3424
TITLE: FC Portugal: Search and Rescue in Urban Catastrophes
AUTHORS: Joao Certo; Nuno Cordeiro; Luis Paulo Reis ; Nuno Lau ;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PAGES: 193-204
3425
TITLE: Fighting fire with agents: an agent coordination model for simulated firefighting
AUTHORS: Daniel Moura; Eugenio Oliveira ;
PUBLISHED: 2007, SOURCE: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, PAGES: 71-78
3426
TITLE: Formal verification of a group membership protocol using model checking
AUTHORS: Rosset, V; Souto, PF ; Vasques, R ;
PUBLISHED: 2007, SOURCE: 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, ISSUE: PART 1, PAGES: 471-488
3427
TITLE: Guest editorial: Special issue on reconfigurable hardware systems
AUTHORS: Joao M P Cardoso ; Koen Bertels; George A Constantinides; Stamatis Vassiliadis;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 94, ISSUE: 5, PAGES: 431-433
3429
TITLE: ILP: Compute Once, Reuse Often
AUTHORS: Nuno A Fonseca; Ricardo Rocha; Rui Camacho ; Vítor S Costa;
PUBLISHED: 2007
3430
TITLE: Implementing range queries with a decentralized balanced tree over distributed hash tables
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2007, SOURCE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PAGES: 197-206
3431
TITLE: Improving brokering adaptation in dynamic heterogeneous environments
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2007, SOURCE: International Journal of Product Lifecycle Management, VOLUME: 2, ISSUE: 2, PAGES: 111-134
3432
TITLE: Improving Face Recognition by Video Spatial Morphing
AUTHORS: Armando Padilha; Jorge Silva ; Raquel Sebastiao;
PUBLISHED: 2007, SOURCE: Face Recognition
3433
TITLE: Improving on version stamps
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, ISSUE: PART 2, PAGES: 1025-1031
3434
TITLE: Improving the quality of collaboration requirements for information management through social networks analysis
AUTHORS: Carla Sofia Pereira ; Antonia Lucas Soares ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT, VOLUME: 27, ISSUE: 2, PAGES: 86-103
3435
TITLE: INESC, Porto at TRECVID 2007: Automatic and interactive video search
AUTHORS: Calistru, C; Ribeiro, C ; David, G ; Rodrigues, I ; Laboreiro, G;
PUBLISHED: 2007, SOURCE: TREC Video Retrieval Evaluation, TRECVID 2007 in 2007 TREC Video Retrieval Evaluation Notebook Papers
3436
TITLE: Institutional reality and norms: Specifying and monitoring agent organizations
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, VOLUME: 16, ISSUE: 1, PAGES: 67-95
3437
TITLE: Intelligent farmer agent for multi-agent ecological simulations optimization
AUTHORS: Cruz, F; Pereira, A ; Valente, P; Duarte, P; Reis, LP ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 593-+
3438
TITLE: Intelligent farmer agent for multi-agent ecological simulations optimization
AUTHORS: Filipe Cruz; António Pereira; Pedro Valente; Pedro Duarte; Luís P Reis ;
PUBLISHED: 2007
3439
TITLE: Intelligent wearable system for continuously monitoring the heartbeat
AUTHORS: Teodoro Seromenho, RJ; Gil Gonçalves ; Tavares Correia, JPM;
PUBLISHED: 2007, SOURCE: 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, PAGES: 255-256
3440
TITLE: Interface framework to drive an intelligent wheelchair using facial expressions
AUTHORS: Pedro Miguel Faria; Rodrigo A M Braga; Eduardo Valgode; Luis Paulo Reis ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 1791-1796

Results per Page: 20.
Page 172 of 199. Total results: 3967.