Formal methods of text research: technicaldocuments analysis application

被引：0
|
作者：
Mitina, O. V.
Yevdokimenko, A. S.
机构：
来源：
VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA FILOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOLOGY | 2010年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
H [语言、文字];
学科分类号：
05 ;
摘要：
引用
收藏
页码：60 / 69
页数：10
相关论文
共 50 条
  • [41] Formal methods in object oriented analysis
    Wilson, J.C.R.
    British Telecom technology journal, 1993, 11 (03): : 18 - 31
  • [42] Integrating formal methods with domain analysis
    Felice, Laura
    Carmen Leonardi, Maria
    Virginia Mauco, Maria
    Montejano, German
    Riesco, Daniel
    Debnath, Narayan
    JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2010, 10 (1-2 SUPPL. 2) : S151 - S163
  • [43] Formal Methods of Analysis of System Properties
    S. L. Kryvyi
    L. Ye. Matveyeva
    Cybernetics and Systems Analysis, 2003, 39 (2) : 174 - 191
  • [44] Formal Methods for Network Performance Analysis
    Arashloo, Mina Tahmasbi
    Beckett, Ryan
    Agarwal, Rachit
    PROCEEDINGS OF THE 20TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, NSDI 2023, 2023, : 645 - 661
  • [45] Application Research of Formal Verification in Aerospace FPGA
    Liu, Shiyu
    Li, Dongfang
    Shen, Wei
    Wang, Zhihao
    Yang, Guang
    Song, Xiaojing
    2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 797 - 805
  • [46] Domain analysis with text mining: Analysis of digital library research trends using profiling methods
    Lee, Jae Yun
    Kim, Heejung
    Kim, Pan Jun
    JOURNAL OF INFORMATION SCIENCE, 2010, 36 (02) : 144 - 161
  • [47] The application of text mining methods in innovation research: current state, evolution patterns, and development priorities
    Antons, David
    Gruenwald, Eduard
    Cichy, Patrick
    Salge, Torsten Oliver
    R & D MANAGEMENT, 2020, 50 (03) : 329 - 351
  • [48] Historical Social Research: An International Journal for the Application of Formal Methods to History, 2004-2014. An Overview
    Janssen, Philip Jost
    HISTORICAL SOCIAL RESEARCH-HISTORISCHE SOZIALFORSCHUNG, 2014, : 7 - +
  • [49] Applying text mining methods to suicide research
    Cheng, Qijin
    Lui, Carrie S. M.
    SUICIDE AND LIFE-THREATENING BEHAVIOR, 2021, 51 (01) : 137 - 147
  • [50] METHODS IN IMMUNOLOGY . A LABORATORY TEXT FOR INSTRUCTION AND RESEARCH
    JAHRMARK.H
    KLINISCHE WOCHENSCHRIFT, 1965, 43 (09): : 518 - &
12345