COMBINING MATCHING ALGORITHMS - THE REGULAR CASE

被引：16
|
作者：
NIPKOW, T
机构：
[1] University of Cambridge, Computer Laboratory, Cambridge, CB2 3QG, Pembroke Street
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1991年 / 12卷 / 06期
关键词：
D O I：
10.1016/S0747-7171(08)80145-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The problem of combining matching algorithms for equational theories with disjoint signatures is studied. It is shown that the combined matching problem is in general undecidable but that it becomes decidable if all theories are regular. For the case of regular theories an efficient combination algorithm is developed. As part of that development we present a simple algorithm for solving the word problem in the combination of arbitrary equational theories with disjoint signatures. © 1991, Academic Press Limited. All rights reserved.
引用
收藏
页码：633 / 653
页数：21
相关论文
共 50 条
  • [31] Combining classification algorithms
    Gama, J
    AI COMMUNICATIONS, 2000, 13 (02) : 135 - 136
  • [32] Algorithms for weighted matching
    Salmela, Leena
    Tarhio, Jorma
    STRING PROCESSING AND INFORMATION RETRIEVAL, PROCEEDINGS, 2007, 4726 : 276 - 286
  • [33] On the support of matching algorithms
    Cannas, Massimo
    Puggioni, Gavino
    STATISTICS & PROBABILITY LETTERS, 2017, 131 : 72 - 77
  • [34] Combining genetic algorithms and case-based reasoning for structure design
    Liu, XH
    Louis, S
    COMPUTERS AND THEIR APPLICATIONS - PROCEEDINGS OF THE ISCA 11TH INTERNATIONAL CONFERENCE, 1996, : 103 - 106
  • [35] Algorithms on extended (δ, γ)-matching
    Lee, Inbok
    Clifford, Raphael
    Kim, Sung-Ryul
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 3, 2006, 3982 : 1137 - 1142
  • [36] IMAGE MATCHING ALGORITHMS
    GHAFFARY, BK
    PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS, 1985, 528 : 14 - 22
  • [37] Reversible Programming: A Case Study of Two String-Matching Algorithms
    Gluck, Robert
    Yokoyama, Tetsuo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (373): : 1 - 13
  • [38] Regular mesh construction algorithms using regular handles
    Akleman, Ergun
    Chen, Jianer
    IEEE INTERNATIONAL CONFERENCE ON SHAPE MODELING AND APPLICATIONS 2006, PROCEEDINGS, 2006, : 171 - +
  • [39] Using genetic algorithms to improve matching performance of changeable biometrics from combining PCA and ICA methods
    Jeong, Minyi
    Choi, Jeung-Yoon
    Kim, Jaihie
    2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8, 2007, : 2959 - +
  • [40] Steady State Load Decomposition Method Combining Template Matching with K-Nearest Neighbor Algorithms
    Zhang, Xiaoyu
    Luan, Zhaowen
    Zhang, Zhiliang
    2018 INTERNATIONAL CONFERENCE ON SMART GRID AND CLEAN ENERGY TECHNOLOGIES (ICSGCE), 2018, : 250 - 254
12345