equal
deleted
inserted
replaced
475 (List.app do_learn learns; ol occ (os occ o quote) ", " (map fst goal_feats); |
475 (List.app do_learn learns; ol occ (os occ o quote) ", " (map fst goal_feats); |
476 TextIO.closeOut ocs; TextIO.closeOut ocd; TextIO.closeOut ocq; TextIO.closeOut occ; |
476 TextIO.closeOut ocs; TextIO.closeOut ocd; TextIO.closeOut ocq; TextIO.closeOut occ; |
477 forkexec max_suggs) |
477 forkexec max_suggs) |
478 end |
478 end |
479 |
479 |
480 val k_nearest_neighbors_ext = |
480 fun k_nearest_neighbors_ext max_suggs = |
481 external_tool ("newknn/knn" ^ " " ^ string_of_int initial_number_of_nearest_neighbors) |
481 external_tool ("newknn/knn" ^ " " ^ string_of_int initial_number_of_nearest_neighbors) max_suggs |
482 val naive_bayes_ext = external_tool "predict/nbayes" |
482 fun naive_bayes_ext max_suggs = external_tool "predict/nbayes" max_suggs |
483 |
483 |
484 fun query_external ctxt algorithm max_suggs learns goal_feats = |
484 fun query_external ctxt algorithm max_suggs learns goal_feats = |
485 (trace_msg ctxt (fn () => "MaSh query external " ^ commas (map fst goal_feats)); |
485 (trace_msg ctxt (fn () => "MaSh query external " ^ commas (map fst goal_feats)); |
486 (case algorithm of |
486 (case algorithm of |
487 MaSh_NB_Ext => naive_bayes_ext max_suggs learns goal_feats |
487 MaSh_NB_Ext => naive_bayes_ext max_suggs learns goal_feats |