CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 8959

531 Team Members
Filters -> Year: 2024
8821
TITLE: VisAll: A universal tool to visualise the parallel execution of logic programs
AUTHORS: Fonseca, N ; Costa, VS ; Dutra, ID ;
PUBLISHED: 1998, SOURCE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, PAGES: 100-114
INDEXED IN: WOS DBLP
8822
TITLE: Balloon Types: Controlling Sharing of State in Data Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1997, SOURCE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PAGES: 32-59
INDEXED IN: Scopus DBLP CrossRef: 61
8823
TITLE: Biometry: the characterisation of chestnut-tree leaves using computer vision
AUTHORS: Gouveia, F; Filipe, V ; Reis, M ; Couto, C ; Bulas Cruz, J;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PAGES: 757-760
INDEXED IN: Scopus WOS CrossRef: 13
8824
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PAGES: 554-559
INDEXED IN: Scopus DBLP CrossRef: 1
8825
TITLE: Enhancing load distribution strategies through simulation
AUTHORS: Cunha, A ; Santos, LP ; Belo, O ;
PUBLISHED: 1997, SOURCE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PAGES: 416-420
INDEXED IN: WOS
8826
TITLE: Evaluating parallel logic programming systems on scalable multiprocessors
AUTHORS: Vitor Santos Costa ; Ricardo Bianchini; Castro Dutra Ines de ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 2nd International Symposium on Parallel Symbolic Computation, PASCO in International Symposium on Parallel Symbolic Computation, Proceedings, PASCO, PAGES: 58-67
INDEXED IN: Scopus DBLP CrossRef: 4
8827
TITLE: Evaluating the impact of coherence protocols on parallel logic programming systems
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK, PAGES: 376-381
INDEXED IN: DBLP
8828
TITLE: Evaluation of the communication performance on a parallel processing system  Full Text
AUTHORS: Santos, LP ; Castro, V; Proenca, A ;
PUBLISHED: 1997, SOURCE: 4th European PVM/MPI Users Group Meeting in RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, VOLUME: 1332, PAGES: 41-48
INDEXED IN: Scopus WOS
8829
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
INDEXED IN: DBLP
8830
TITLE: From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, PAGES: 60-69
INDEXED IN: DBLP
8831
TITLE: Integrity constraints in ILP using a Monte Carlo approach  Full Text
AUTHORS: Jorge, A ; Brazdil, PB ;
PUBLISHED: 1997, SOURCE: 6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR 96) / 6th Inductive Logic Programming Workshop (ILP 96) in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 1314, PAGES: 229-244
INDEXED IN: Scopus WOS DBLP CrossRef: 2
8832
TITLE: Magic sets with full sharing  Full Text
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
INDEXED IN: Scopus WOS DBLP CrossRef: 4
8833
TITLE: Number plate reading using computer vision
AUTHORS: Barroso, J ; Dagless, EL; Rafael, A; Bulas Cruz, J;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PAGES: 761-766
INDEXED IN: Scopus WOS CrossRef: 53
8834
TITLE: Oblique linear tree
AUTHORS: Gama, J ;
PUBLISHED: 1997, SOURCE: 2nd International Symposium on Advances in Intelligent Data Analysis - Reasoning About Data (IDA-97) in ADVANCES IN INTELLIGENT DATA ANALYSIS: REASONING ABOUT DATA, VOLUME: 1280, PAGES: 187-198
INDEXED IN: Scopus WOS DBLP CrossRef: 15
8835
TITLE: Parallel neural network recognition - a multi-agent system approach
AUTHORS: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLISHED: 1997, SOURCE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PAGES: 103-112
INDEXED IN: Scopus WOS
8836
TITLE: Probabilistic Linear Tree
AUTHORS: João Gama ;
PUBLISHED: 1997, SOURCE: Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, 1997, PAGES: 134-142
INDEXED IN: DBLP
8837
TITLE: Real-Time Number Plate Reading
AUTHORS: Bulas-Cruz, J; Barroso, J ; Rafael, A; E.L Dagless;
PUBLISHED: 1997, SOURCE: IFAC Proceedings Volumes, VOLUME: 30, ISSUE: 3, PAGES: 73-76
INDEXED IN: CrossRef: 2
8838
TITLE: Real-time number plate reading
AUTHORS: Bulas Cruz, J; Barroso, J ; Rafael, A; Dagless, EL;
PUBLISHED: 1997, SOURCE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, PAGES: 73-76
INDEXED IN: WOS
8839
TITLE: Regression Using Classification Algorithms
AUTHORS: Luís Torgo ; João Gama ;
PUBLISHED: 1997, SOURCE: Intell. Data Anal., VOLUME: 1, ISSUE: 1-4, PAGES: 275-292
INDEXED IN: Scopus DBLP CrossRef: 17
8840
TITLE: Resource Allocation on Agent Meta-Societies
AUTHORS: Alcino Cunha ; Orlando Belo ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323, PAGES: 343-348
INDEXED IN: Scopus DBLP CrossRef

Results per Page: 20.
Página 442 de 448. Total de resultados: 8959.