{"id":"W1568373463","doi":"10.1007/978-3-642-04425-0_27","title":"An Incremental Algorithm for High-Performance Runtime Model Consistency","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Royal Military College of Canada; Queen's University","funders":"","keywords":"Computer science; Graph rewriting; Distributed computing; Rewriting; Consistency (knowledge bases); Model transformation; Runtime system; Transformation (genetics); Graph; Theoretical computer science; Algorithm; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00303229,0.001793881,0.001681909,0.002607129,0.001685695,0.002801549,0.006334568,0.001954431,0.011293],"category_scores_gemma":[0.01689048,0.001591165,0.002263942,0.003027022,0.001628247,0.006161673,0.008497869,0.004265791,0.002506896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001525844,"about_ca_system_score_gemma":0.00345135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003750846,"about_ca_topic_score_gemma":0.006646208,"domain_scores_codex":[0.9963645,0.0006517541,0.0002639913,0.0007542404,0.001574493,0.0003909206],"domain_scores_gemma":[0.9899663,0.003530999,0.0003998375,0.003947781,0.001893586,0.0002615087],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007237927,0.0004423667,0.001547322,0.0004021226,0.0002047955,0.0002805211,0.0003666558,0.0769949,0.02067025,0.05539234,0.02158475,0.8213901],"study_design_scores_gemma":[0.0002137961,0.0001039415,0.0004483933,0.00003614336,0.0001650575,0.0002380839,0.0001598186,0.9031417,0.02314103,0.06519529,0.007098185,0.00005851548],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004566296,0.00007475231,0.9880593,0.0001196676,0.00007204555,0.0001102712,0.00008264444,0.00567313,0.001241773],"genre_scores_gemma":[0.07295644,0.00005864706,0.923148,0.0001202831,0.00004803829,0.0001779241,0.0005899376,0.001333222,0.001567399],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.011293,"threshold_uncertainty_score":0.03777885,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01333284884418999,"score_gpt":0.2362466074255733,"score_spread":0.2229137585813833,"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."}}