Higher-order matching and tree automata

被引：0
|
作者：
Comon, H [1 ]
Jurski, Y [1 ]
机构：
[1] Ecole Normale Super, Lab Specificat & Verificat, CNRS, URA 2236, F-94235 Cachan, France
来源：
COMPUTER SCIENCE LOGIC | 1998年 / 1414卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：157 / 176
页数：20
相关论文
共 50 条
  • [21] Multimodal surface matching with higher-order smoothness constraints
    Robinson, Emma C.
    Garcia, Kara
    Glasser, Matthew F.
    Chen, Zhengdao
    Coalson, Timothy S.
    Makropoulos, Antonios
    Bozek, Jelena
    Wright, Robert
    Schuh, Andreas
    Webster, Matthew
    Hutter, Jana
    Price, Anthony
    Grande, Lucilio Cordero
    Hughes, Emer
    Tusor, Nora
    Bayly, Philip V.
    Van Essen, David C.
    Smith, Stephen M.
    Edwards, A. David
    Hajnal, Joseph
    Jenkinson, Mark
    Glocker, Ben
    Rueckert, Daniel
    NEUROIMAGE, 2018, 167 : 453 - 465
  • [22] Higher-order matching polynomials and d-orthogonality
    Drake, Dan
    ADVANCES IN APPLIED MATHEMATICS, 2011, 46 (1-4) : 226 - 246
  • [23] Decidability of arity-bounded higher-order matching
    Schmidt-Schauss, M
    AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 488 - 502
  • [24] A higher-order active contour model for tree detection
    Horvath, Peter
    Jermyn, Ian
    Kato, Zoltan
    Zerubia, Josiane
    18TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 2, PROCEEDINGS, 2006, : 130 - +
  • [25] Higher-Order Intentionality and Higher-Order Acquaintance
    Benj Hellie
    Philosophical Studies, 2007, 134 : 289 - 324
  • [26] Higher-order intentionality and higher-order acquaintance
    Hellie, Benj
    PHILOSOPHICAL STUDIES, 2007, 134 (03) : 289 - 324
  • [27] On the dynamical behaviour of linear higher-order cellular automata and its decidability
    Dennunzio, Alberto
    Formenti, Enrico
    Manzoni, Luca
    Margara, Luciano
    Porreca, Antonio E.
    INFORMATION SCIENCES, 2019, 486 : 73 - 87
  • [28] Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata
    Ong, C. -H. L.
    LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 263 - 299
  • [29] Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties
    Broadbent, Christopher H.
    Carayol, Arnaud
    Ong, C-H Luke
    Serre, Olivier
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (02)
  • [30] HoMM: Higher-Order Moment Matching for Unsupervised Domain Adaptation
    Chen, Chao
    Fu, Zhihang
    Chen, Zhihong
    Jin, Sheng
    Cheng, Zhaowei
    Jin, Xinyu
    Hua, Xian-Sheng
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 3422 - 3429
12345