1 resultado para ECAP compaction
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (3)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (3)
- Aquatic Commons (6)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (4)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Aston University Research Archive (23)
- Biblioteca de Teses e Dissertações da USP (2)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (10)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (6)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (6)
- Bioline International (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (13)
- Brock University, Canada (3)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CaltechTHESIS (3)
- Cambridge University Engineering Department Publications Database (25)
- CentAUR: Central Archive University of Reading - UK (12)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (23)
- Cochin University of Science & Technology (CUSAT), India (3)
- Deakin Research Online - Australia (47)
- Digital Commons - Michigan Tech (6)
- Digital Commons at Florida International University (1)
- Digital Repository at Iowa State University (1)
- DigitalCommons - The University of Maine Research (1)
- DigitalCommons@The Texas Medical Center (3)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (11)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (3)
- Helda - Digital Repository of University of Helsinki (4)
- Indian Institute of Science - Bangalore - Índia (57)
- Infoteca EMBRAPA (1)
- Instituto Gulbenkian de Ciência (1)
- Instituto Politécnico do Porto, Portugal (3)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (2)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (3)
- Ministerio de Cultura, Spain (2)
- National Center for Biotechnology Information - NCBI (10)
- Nottingham eTheses (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- Publishing Network for Geoscientific & Environmental Data (60)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (27)
- Queensland University of Technology - ePrints Archive (17)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (6)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório Institucional da Universidade de Brasília (3)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (3)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (233)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- Scientific Open-access Literature Archive and Repository (1)
- Universidad de Alicante (5)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (29)
- Universidade Estadual Paulista "Júlio de Mesquita Filho" (UNESP) (1)
- Universidade Federal do Pará (5)
- Universidade Federal do Rio Grande do Norte (UFRN) (26)
- Universidade Técnica de Lisboa (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (1)
- Université de Montréal (1)
- Université de Montréal, Canada (5)
- Université Laval Mémoires et thèses électroniques (2)
- University of Connecticut - USA (1)
- University of Michigan (6)
- University of Queensland eSpace - Australia (6)
- University of Washington (2)
Resumo:
This paper introduces an encoding of knowledge representation statements as regular languages and proposes a two-phase approach to processing of explicitly declared conceptual information. The idea is presented for the simple conceptual graphs where conceptual pattern search is implemented by the so called projection operation. Projection calculations are organised into off-line preprocessing and run-time computations. This enables fast run-time treatment of NP-complete problems, given that the intermediate results of the off-line phase are kept in suitable data structures. The experiments with randomly-generated, middle-size knowledge bases support the claim that the suggested approach radically improves the run-time conceptual pattern search.