{"id":"W2027807244","doi":"10.1109/time.2011.27","title":"Verification of Time Ontologies with Points and Intervals","year":2011,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Data mining","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.01046948,0.0007428277,0.001287169,0.002014114,0.001953269,0.004419821,0.003624047,0.002169935,0.002663204],"category_scores_gemma":[0.04301233,0.001004303,0.004382838,0.003068287,0.006824508,0.01205409,0.007452509,0.003988907,0.0005115774],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003348525,"about_ca_system_score_gemma":0.005058908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01060603,"about_ca_topic_score_gemma":0.005682751,"domain_scores_codex":[0.9796067,0.00552763,0.002301775,0.002592776,0.008464382,0.001506669],"domain_scores_gemma":[0.9664156,0.01642612,0.003105392,0.008244633,0.005195396,0.0006128571],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001291152,0.00003683913,0.001105846,0.0001322193,0.0001156521,0.0002088058,0.0007799849,0.0359811,0.002864701,0.9379934,0.0007651364,0.01988732],"study_design_scores_gemma":[0.0000698731,0.00004411012,0.0004184845,0.00007424544,0.00009038208,0.0001215693,0.0004475965,0.09123659,0.01134229,0.8875245,0.008567958,0.00006234166],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05881623,0.0002288086,0.9316226,0.0008592086,0.00008072807,0.0001386302,0.0004007116,0.0008554158,0.006997525],"genre_scores_gemma":[0.5806954,0.0005840462,0.4134705,0.0004029506,0.0001181612,0.0003300776,0.001317579,0.0003512841,0.002730026],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01060603,"threshold_uncertainty_score":0.05536854,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02244119979994102,"score_gpt":0.2032159573025317,"score_spread":0.1807747575025906,"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."}}