{"id":"W2052735146","doi":"10.5555/1756384.1756402","title":"Efficient automaton-based recognition for linear conjunctive languages","year":2002,"lang":"en","type":"article","venue":"International Conference on Implementation and application of automata","topic":"Fuzzy Logic and Control Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Automaton; Computer science; Theoretical computer science; Rule-based machine translation; Nondeterministic finite automaton; Automata theory; Finite-state machine; Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001647446,0.00009556884,0.0001125871,0.0001102581,0.0000661104,0.00005811748,0.0002732257,0.00003361195,0.00008463553],"category_scores_gemma":[0.00002094177,0.00008932811,0.00003893157,0.00008550305,0.00003375767,0.00008016717,0.00002907754,0.00003393334,0.00003342874],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002488616,"about_ca_system_score_gemma":0.0000214275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003450337,"about_ca_topic_score_gemma":0.000005507098,"domain_scores_codex":[0.9990757,0.00002968979,0.0002864177,0.0002630335,0.0002450309,0.0001001388],"domain_scores_gemma":[0.9991506,0.0001128525,0.0002370762,0.0001765341,0.0002817494,0.00004119496],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000275969,0.0001643517,0.0001875468,0.00002809607,0.00003447683,3.902487e-7,0.0003208008,0.0002533748,0.003665596,0.652402,0.000673376,0.3422424],"study_design_scores_gemma":[0.001546336,0.000147831,0.001138508,0.00002003881,0.000006391468,0.000002038959,0.0003739043,0.9882256,0.003708438,0.003541334,0.001176837,0.0001127627],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02581435,0.00002514478,0.9478279,0.00775298,0.0002024305,0.001118078,0.0002770251,0.000243894,0.01673815],"genre_scores_gemma":[0.9904291,0.000006595175,0.008634767,0.0004211026,0.00003682504,0.0003014699,0.0001186641,0.00000486698,0.00004661092],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9879722,"threshold_uncertainty_score":0.3642695,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05152813767238627,"score_gpt":0.346102679070089,"score_spread":0.2945745413977027,"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."}}