共 50 条
- [31] Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation GRAPH TRANSFORMATION, ICGT 2023, 2023, 13961 : 22 - 42
- [35] A Polynomial Time Algorithm for Finding a Minimally Generalized Linear Interval Graph Pattern IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009, E92D (02): : 120 - 129
- [36] A polynomial time algorithm for finding a minimally generalized linear interval graph pattern IEICE Trans Inf Syst, 2 (120-129):
- [37] Image Classification with a Novel Semantic Linear-time Graph Kernel 2015 11TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2015, : 235 - 238
- [40] Fuzzy Connectedness Image Segmentation in Graph Cut Formulation: A Linear-Time Algorithm and a Comparative Analysis Journal of Mathematical Imaging and Vision, 2012, 44 : 375 - 398