Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4670
62 Team MembersFilters -> Year: 2026
4361
TÃTULO: Increasing the accuracy of shape and safety analysis of pointer-based codes
AUTORES: Diniz, PC ;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2958, PÁGINAS: 481-494
AUTORES: Diniz, PC ;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2958, PÁGINAS: 481-494
4362
TÃTULO: IndLog - Induction in logic
AUTORES: Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PÁGINAS: 718-721
AUTORES: Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PÁGINAS: 718-721
4363
TÃTULO: Inductive logic programming for data mining in economics
AUTORES: Alexessander Alves; Rui Camacho ; Eugénio Oliveira;
PUBLICAÇÃO: 2004
AUTORES: Alexessander Alves; Rui Camacho ; Eugénio Oliveira;
PUBLICAÇÃO: 2004
4364
TÃTULO: Inductive Logic Programming, 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings
AUTORES: Rui Camacho ; Ross D King; Ashwin Srinivasan;
PUBLICAÇÃO: 2004, FONTE: ILP, VOLUME: 3194
AUTORES: Rui Camacho ; Ross D King; Ashwin Srinivasan;
PUBLICAÇÃO: 2004, FONTE: ILP, VOLUME: 3194
4365
TÃTULO: Learning from Multiple Sources
AUTORES: Luís Nunes ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2004, FONTE: AAMAS, VOLUME: 3, PÁGINAS: 1106-1113
AUTORES: Luís Nunes ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2004, FONTE: AAMAS, VOLUME: 3, PÁGINAS: 1106-1113
4366
TÃTULO: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science): Preface
AUTORES: Camacho, R ; King, R; Srinivasan, A;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference ILP 2004: Inductive Logic Programming in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3194
AUTORES: Camacho, R ; King, R; Srinivasan, A;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference ILP 2004: Inductive Logic Programming in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3194
4367
TÃTULO: M-GIS - Mobile and interoperable access to geographic information
AUTORES: Cardoso, J; Rocha, A ; Lopes, JC ;
PUBLICAÇÃO: 2004, FONTE: 3rd International Conference on Electronic Government (EGOV 2004) in ELECTRONIC GOVERNMENT, PROCEEDINGS, VOLUME: 3183, PÁGINAS: 400-405
AUTORES: Cardoso, J; Rocha, A ; Lopes, JC ;
PUBLICAÇÃO: 2004, FONTE: 3rd International Conference on Electronic Government (EGOV 2004) in ELECTRONIC GOVERNMENT, PROCEEDINGS, VOLUME: 3183, PÁGINAS: 400-405
4368
TÃTULO: Making effective the introduction of e-business in SME: A reference model approach
AUTORES: Soares, AL ; Carneiro, LM ; Carneiro, D;
PUBLICAÇÃO: 2004, FONTE: 18th International Conference on CAD/CAM Robotics and Factories of the Future (CARs&FOF) in E-MANUFACTURING: BUSINESS PARADIGMS AND SUPPORTING TECHNOLOGIES, PÁGINAS: 101-109
AUTORES: Soares, AL ; Carneiro, LM ; Carneiro, D;
PUBLICAÇÃO: 2004, FONTE: 18th International Conference on CAD/CAM Robotics and Factories of the Future (CARs&FOF) in E-MANUFACTURING: BUSINESS PARADIGMS AND SUPPORTING TECHNOLOGIES, PÁGINAS: 101-109
4369
TÃTULO: MARCS - Multi-agent railway control system
AUTORES: Proença, H ; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315, PÁGINAS: 12-21
AUTORES: Proença, H ; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315, PÁGINAS: 12-21
4370
TÃTULO: Modeling loop unrolling: Approaches and open issues
AUTORES: Cardoso, JMP ; Diniz, PC ;
PUBLICAÇÃO: 2004, FONTE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PÁGINAS: 224-233
AUTORES: Cardoso, JMP ; Diniz, PC ;
PUBLICAÇÃO: 2004, FONTE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PÁGINAS: 224-233
4371
TÃTULO: Modeling Social Aspects of Collaborative Networks
AUTORES: António Lucas Soares ; Jorge Pinho de Sousa;
PUBLICAÇÃO: 2004, FONTE: Collaborative Networked Organizations, PÁGINAS: 253-260
AUTORES: António Lucas Soares ; Jorge Pinho de Sousa;
PUBLICAÇÃO: 2004, FONTE: Collaborative Networked Organizations, PÁGINAS: 253-260
4372
TÃTULO: Modeling the structure of collaborative networks: Some contributions
AUTORES: Soares, AL ; de Sousa, JP ; Barbedo, F;
PUBLICAÇÃO: 2004, FONTE: 4th Working Conference on Virtual Enterprises in PROCESSES AND FOUNDATIONS FOR VIRTUAL ORGANIZATIONS, VOLUME: 134, PÁGINAS: 23-30
AUTORES: Soares, AL ; de Sousa, JP ; Barbedo, F;
PUBLICAÇÃO: 2004, FONTE: 4th Working Conference on Virtual Enterprises in PROCESSES AND FOUNDATIONS FOR VIRTUAL ORGANIZATIONS, VOLUME: 134, PÁGINAS: 23-30
4373
TÃTULO: Models and Systems to Manage High Value Socio-Technical Networks
AUTORES: António Lucas Soares ; Jorge Pinho de Sousa;
PUBLICAÇÃO: 2004, FONTE: Evolution of Supply Chain Management, PÁGINAS: 265-286
AUTORES: António Lucas Soares ; Jorge Pinho de Sousa;
PUBLICAÇÃO: 2004, FONTE: Evolution of Supply Chain Management, PÁGINAS: 265-286
4374
TÃTULO: Object-oriented: definition, implementation and analysis of validation and testing resources
AUTORES: VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2004, FONTE: ndltd.org (oai:agregador.ibict.br.BDTD_USP:oai:teses.usp.br:tde-17082004-122037)
AUTORES: VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2004, FONTE: ndltd.org (oai:agregador.ibict.br.BDTD_USP:oai:teses.usp.br:tde-17082004-122037)
4375
TÃTULO: On avoiding redundancy in inductive logic programming
AUTORES: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PÁGINAS: 132-146
AUTORES: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PÁGINAS: 132-146
4376
TÃTULO: Ontology-services agent to help in the structural and semantic heterogeneity
AUTORES: Malucelli, A; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 18th World Computer Congress in VIRTUAL ENTERPRISES AND COLLABORATIVE NETWORKS, VOLUME: 149, PÁGINAS: 175-182
AUTORES: Malucelli, A; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 18th World Computer Congress in VIRTUAL ENTERPRISES AND COLLABORATIVE NETWORKS, VOLUME: 149, PÁGINAS: 175-182
4377
TÃTULO: Performance and area modeling of complete FPGA designs in the presence of loop transformations
AUTORES: Park, J; Diniz, PC ; Shesha Shayee, KR;
PUBLICAÇÃO: 2004, FONTE: IEEE Transactions on Computers, VOLUME: 53, NÚMERO: 11, PÁGINAS: 1420-1435
AUTORES: Park, J; Diniz, PC ; Shesha Shayee, KR;
PUBLICAÇÃO: 2004, FONTE: IEEE Transactions on Computers, VOLUME: 53, NÚMERO: 11, PÁGINAS: 1420-1435
4378
TÃTULO: Preface
AUTORES: Camacho, R ; King, R; Srinivasan, A;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming, ILP 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3194
AUTORES: Camacho, R ; King, R; Srinivasan, A;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming, ILP 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3194
4379
TÃTULO: Proceeding - Brazialian Symposium on Computer Graphics and Image Processing: Preface
AUTORES: De Albuquerque, A; Comba, J; De Sousa, AA ; Navazo, I;
PUBLICAÇÃO: 2004, FONTE: Proceedings - XVII Brazilian Symposium on Computer Graphics and Image Processing, SIBGRAPI 2004. And II Ibero-American Symposium on Computer Graphics, SIACG 2004 in Brazilian Symposium of Computer Graphic and Image Processing
AUTORES: De Albuquerque, A; Comba, J; De Sousa, AA ; Navazo, I;
PUBLICAÇÃO: 2004, FONTE: Proceedings - XVII Brazilian Symposium on Computer Graphics and Image Processing, SIBGRAPI 2004. And II Ibero-American Symposium on Computer Graphics, SIACG 2004 in Brazilian Symposium of Computer Graphic and Image Processing
4380
TÃTULO: Public discussion of Oportos municipal master plan: An e-Democracy service supported by a geographical information system
AUTORES: Oliveira, MA ; Carvalho, A ; Bartolo, L;
PUBLICAÇÃO: 2004, FONTE: 3rd International Conference on Electronic Government (EGOV 2004) in ELECTRONIC GOVERNMENT, PROCEEDINGS, VOLUME: 3183, PÁGINAS: 410-413
AUTORES: Oliveira, MA ; Carvalho, A ; Bartolo, L;
PUBLICAÇÃO: 2004, FONTE: 3rd International Conference on Electronic Government (EGOV 2004) in ELECTRONIC GOVERNMENT, PROCEEDINGS, VOLUME: 3183, PÁGINAS: 410-413
