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 条
  • [21] Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering
    Ait-Ameur, Yamine
    Palanque, Philippe
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 202 - 204
  • [22] Text as Data Methods for Education Research
    Fesler, Lily
    Dee, Thomas
    Baker, Rachel
    Evans, Brent
    JOURNAL OF RESEARCH ON EDUCATIONAL EFFECTIVENESS, 2019, 12 (04) : 707 - 727
  • [23] PROVALIS RESEARCH, SPECIALIZED SOFTWARE FOR TEXT ANALYSIS IN EDUCATIONAL RESEARCH. OPERATIONAL APPLICATION
    Recaman Payo, Adriana
    Nieto Martin, Santiago
    RIE-REVISTA DE INVESTIGACION EDUCATIVA, 2012, 30 (02): : 397 - 422
  • [24] The Improvement of Machine Translation Quality with Help of Structural Analysis and Formal Methods-Based Text Processing
    Mylnikova, Anna
    Akhmetgaraeva, Aigul
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON APPLIED INNOVATIONS IN IT, VOL 7, ISSUE 1, 2019, 7 (01): : 79 - 85
  • [25] Successful application of formal methods to software and hardware
    Huling, G
    WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 504 - 506
  • [26] Application of lightweight formal methods to software security
    Gilliam, DP
    Powell, JD
    Bishop, M
    FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, : 160 - 165
  • [27] PROOFS - APPLICATION ENGINEERING BASED ON FORMAL METHODS
    VANHEE, K
    HILDEBRAND, T
    COPELLI, S
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 29 - 36
  • [28] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
    Norris, Mark T.
    British Telecom technology journal, 1985, 3 (04): : 53 - 59
  • [29] Application of formal methods in train control system
    Cao, Yuan
    Tang, Tao
    Xu, Tian-Hua
    Mu, Jian-Cheng
    Jiaotong Yunshu Gongcheng Xuebao/Journal of Traffic and Transportation Engineering, 2010, 10 (01): : 112 - 126
  • [30] Impact of Text Mining Application on Financial Footnotes Analysis Research in Progress
    Heidari, Maryam
    Felden, Carsten
    NEW HORIZONS IN DESIGN SCIENCE: BROADENING THE RESEARCH AGENDA, 2015, 9073 : 463 - 470
12345