Automatic correctness checking of foreign language expressions using web search

被引：0
|
作者：
机构：
[1] Liu, Hui
[2] Duan, Jianyong
来源：
Liu, H. (liuh@shift.edu.cn) | 1600年 / ICIC Express Letters Office, Tokai University, Kumamoto Campus, 9-1-1, Toroku, Kumamoto, 862-8652, Japan卷 / 03期
关键词：
Search engines;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Automatic Checking of Regular Expressions
    Larson, Eric
    2018 IEEE 18TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2018, : 225 - 234
  • [2] Automatic Checking of the Correctness of Clinical Guidelines in GLARE
    Terenziani, Paolo
    Anselma, Luca
    Bottrighi, Alessio
    Giordano, Laura
    Montani, Stefania
    MEDINFO 2007: PROCEEDINGS OF THE 12TH WORLD CONGRESS ON HEALTH (MEDICAL) INFORMATICS, PTS 1 AND 2: BUILDING SUSTAINABLE HEALTH SYSTEMS, 2007, 129 : 807 - +
  • [3] Automatic Correctness Checking of Implementations of Concurrent Objects
    Bouajjani, Ahmed
    Emmi, Michael
    Enea, Constantin
    Hamza, Jad
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : XII - XII
  • [4] Evolving web search expressions
    Snasel, Vaclav
    Kroemer, Pavel
    Owais, Suhail
    Nyongesa, H. O.
    Maleki-Dizaji, S.
    ICNC 2007: THIRD INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 4, PROCEEDINGS, 2007, : 532 - +
  • [5] Novel Association Measures Using Web Search with Double Checking
    Chen, Hsin-Hsi
    Lin, Ming-Shun
    Wei, Yu-Chuan
    COLING/ACL 2006, VOLS 1 AND 2, PROCEEDINGS OF THE CONFERENCE, 2006, : 1009 - 1016
  • [6] Automatic Functional Correctness Proofs for Functional Search Trees
    Nipkow, Tobias
    INTERACTIVE THEOREM PROVING (ITP 2016), 2016, 9807 : 307 - 322
  • [7] Use of temporal expressions in web search
    Nunes, Sergio
    Ribeiro, Cristina
    David, Gabriel
    ADVANCES IN INFORMATION RETRIEVAL, 2008, 4956 : 580 - 584
  • [8] A Method Checking the Correctness of Sentence of Formal language Based on Linear Resolution
    Du, Ya-Jun
    Li, Hai-ming
    Hao, Fei
    Xie, Chuan
    2006 INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES,VOLS 1-3, 2006, : 608 - +
  • [9] Automatic Checking of Alternative Texts on Web Pages
    Olsen, Morten Goodwin
    Snaprud, Mikael
    Nietzio, Annika
    COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1, 2010, 6179 : 425 - +
  • [10] SWSNL: Semantic Web Search Using Natural Language
    Habernal, Ivan
    Konopik, Miloslav
    EXPERT SYSTEMS WITH APPLICATIONS, 2013, 40 (09) : 3649 - 3664
12345