Works matching DE "SEMANTIC computing"


Results: 982
    1
    2
    3
    4
    5

    Estimation in Semantic Similarity of Texts.

    Published in:
    Journal of Information Science & Engineering, 2021, v. 37, n. 3, p. 617, doi. 10.6688/JISE.202105_37(3)0008
    By:
    • MANH HUNG NGUYEN;
    • DINH QUE TRAN
    Publication type:
    Article
    6
    7
    8
    9
    10
    11
    12
    13
    14

    Contract automata.

    Published in:
    Artificial Intelligence & Law, 2016, v. 24, n. 3, p. 203, doi. 10.1007/s10506-016-9185-2
    By:
    • Azzopardi, Shaun;
    • Pace, Gordon;
    • Schapachnik, Fernando;
    • Schneider, Gerardo
    Publication type:
    Article
    15
    16
    17
    18

    Uppaal SMC tutorial.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 397, doi. 10.1007/s10009-014-0361-y
    By:
    • David, Alexandre;
    • Larsen, Kim;
    • Legay, Axel;
    • Mikučionis, Marius;
    • Poulsen, Danny
    Publication type:
    Article
    19

    Real-time specifications.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 17, doi. 10.1007/s10009-013-0286-x
    By:
    • David, Alexandre;
    • Larsen, Kim;
    • Legay, Axel;
    • Nyman, Ulrik;
    • Traonouez, Louis-Marie;
    • Wąsowski, Andrzej
    Publication type:
    Article
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43

    Normative design using inductive learning.

    Published in:
    Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 783, doi. 10.1017/S1471068411000305
    By:
    • CORAPI, DOMENICO;
    • RUSSO, ALESSANDRA;
    • DE VOS, MARINA;
    • PADGET, JULIAN;
    • SATOH, KEN
    Publication type:
    Article
    44

    Actual causation in CP-logic.

    Published in:
    Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 647, doi. 10.1017/S1471068411000226
    By:
    • VENNEKENS, JOOST
    Publication type:
    Article
    45
    46
    47
    48
    49
    50