{"id":"W2137918864","doi":"10.1109/issre.1996.558672","title":"Automatic failure detection with Conditional-Belief supervisors","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada); University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Supervisor; Computer science; Formalism (music); Finite-state machine; Class (philosophy); Control (management); Software engineering; Reliability engineering; Artificial intelligence; Programming language; Engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002638589,0.0004737367,0.0006444996,0.0006555314,0.0004710028,0.0009709525,0.001617342,0.0006358896,0.001668664],"category_scores_gemma":[0.01369377,0.0004297956,0.0006778587,0.0004873254,0.001227967,0.001807611,0.001410023,0.001443627,0.0002742606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001239767,"about_ca_system_score_gemma":0.001722835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005633216,"about_ca_topic_score_gemma":0.00451224,"domain_scores_codex":[0.9978753,0.0008143584,0.0001093232,0.0002986239,0.0007004073,0.0002020037],"domain_scores_gemma":[0.9873762,0.008997542,0.000793424,0.001450727,0.001191174,0.0001909451],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00141419,0.000253816,0.006014731,0.0002646723,0.00008343924,0.0002564713,0.0007611295,0.609546,0.01747603,0.1014902,0.00349091,0.2589484],"study_design_scores_gemma":[0.00003115648,0.00002702369,0.0001156296,0.000005367283,0.000005758847,0.00001642545,0.00001183608,0.9858949,0.004001935,0.009669696,0.0002130953,0.000007244157],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04428025,0.00003765335,0.9506147,0.00008302017,0.00001026104,0.00004347882,0.00006381259,0.00410631,0.0007605787],"genre_scores_gemma":[0.808144,0.0000301066,0.1908628,0.0000360179,0.00001022302,0.00007970972,0.0001673984,0.00009976151,0.0005701327],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005633216,"threshold_uncertainty_score":0.0139544,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01419848697983107,"score_gpt":0.2186987846197303,"score_spread":0.2045002976398993,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}