Comparing parameter schemes for propositional reasoning. An empirical study

被引：0
|
作者：
Hall, Robert J.
机构：
来源：
Journal of Automated Reasoning | 1992年 / 8卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Design of an empirical study for comparing the usability of concurrent programming languages
    ETH Zurich, Switzerland
    不详
    Int. Symp. Empir. Softw. Eng. Meas., (325-334):
  • [42] Comparing the understandability of alternative data warehouse schemas: An empirical study
    Schuff, David
    Corral, Karen
    Turetken, Ozgur
    DECISION SUPPORT SYSTEMS, 2011, 52 (01) : 9 - 20
  • [43] An empirical study of encoding schemes and search strategies in discovering causal networks
    Dai, HH
    Li, G
    Tu, YP
    MACHINE LEARNING: ECML 2002, 2002, 2430 : 48 - 59
  • [44] Insurance with rent schemes: An empirical study of market provision and consumer demand
    Hood, J
    Stein, W
    McCann, C
    GENEVA PAPERS ON RISK AND INSURANCE-ISSUES AND PRACTICE, 2005, 30 (02): : 223 - 243
  • [45] Insurance with Rent Schemes: An Empirical Study of Market Provision and Consumer Demand
    John Hood
    William Stein
    Claire McCann
    The Geneva Papers on Risk and Insurance - Issues and Practice, 2005, 30 : 223 - 243
  • [46] An Empirical Study Analyzing Traditional Work Schemes Versus Work Teams
    Waters, Natalie M.
    Beruvides, Mario G.
    EMJ-ENGINEERING MANAGEMENT JOURNAL, 2009, 21 (04): : 36 - 43
  • [47] A recipe parameter recommendation system for an autoclave process and an empirical study
    Chen, Yu-Xiu
    Wang, Li-Chih
    Chu, Pei-Chun
    30TH INTERNATIONAL CONFERENCE ON FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING (FAIM2021), 2020, 51 : 1046 - 1053
  • [48] An Empirical Study of Parameter Estimation for Stated Preference Experimental Design
    Yang, Fei
    Chen, Lin
    Cheng, Yang
    Luo, Xia
    Ran, Bin
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, 2014
  • [49] Parameter bias in misspecified Hybrid Choice Models: an empirical study
    Varela, Juan Manuel Lorenzo
    XIII CONFERENCE ON TRANSPORT ENGINEERING, CIT2018, 2018, 33 : 99 - 106
  • [50] Lexical Similarity Between Argument and Parameter Names: An Empirical Study
    Li, Guangjie
    Liu, Hui
    Liu, Qiurong
    Wu, Yuting
    IEEE ACCESS, 2018, 6 : 58461 - 58481
12345