{"id":"W1996360727","doi":"10.5555/1363163.1363166","title":"A formal model to handle the adaptability of multimodal user interfaces","year":2008,"lang":"en","type":"article","venue":"Ambient Media and Systems","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Moncton","funders":"","keywords":"Model checking; Computer science; Property (philosophy); Computation tree logic; Formal verification; Temporal logic; Formal methods; Formal specification; Adaptability; Process (computing); Programming language; Modality (human–computer interaction); Linear temporal logic; Formal equivalence checking; Theoretical computer science; Human–computer interaction","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.0005359921,0.00009427402,0.0001924537,0.00004022785,0.00007892474,0.00001831515,0.0003928405,0.00003527904,2.997505e-7],"category_scores_gemma":[0.0004187294,0.0000598127,0.00002782726,0.0001247111,0.00007937341,0.000263818,0.0002411203,0.00007522204,0.000002081591],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001596348,"about_ca_system_score_gemma":0.00002294325,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006827329,"about_ca_topic_score_gemma":0.000007326803,"domain_scores_codex":[0.999101,0.0000835637,0.0002154999,0.0001974456,0.000206608,0.0001958148],"domain_scores_gemma":[0.9989637,0.0004750578,0.00005236993,0.0003779309,0.00006266633,0.00006823222],"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.00004662112,0.00008193582,0.004624241,0.0001226546,0.00003908177,0.000009721561,0.05135454,0.9131438,0.01112169,0.008390023,0.0005431339,0.01052256],"study_design_scores_gemma":[0.0003981823,0.0001663766,0.01115195,0.00008640134,0.000004726611,0.00005655356,0.00063114,0.9760041,0.01003416,0.0007315539,0.0004885599,0.0002462727],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4287083,0.0002820434,0.570383,0.0000720474,0.0003717035,0.0001229373,0.000001966233,0.00005077945,0.000007260283],"genre_scores_gemma":[0.8880255,0.00002456214,0.111822,0.00001568562,0.00002361619,0.00003137168,2.611531e-7,0.000004099657,0.00005288907],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4593173,"threshold_uncertainty_score":0.2439091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07602724379647945,"score_gpt":0.2789021263196325,"score_spread":0.2028748825231531,"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."}}