heuristic decisionとは 意味・読み方・使い方

This method for Boolean satisfiability(SAT) comprises a step for using variable decision heuristic in a SAT algorithm and a step for pruning the search space of the Boolean satisfiability(SAT) by using the decision heuristic.例文帳に追加

ブーリアン満足化可能性(SAT)のための本方法は、SATアルゴリズム内で変数決定ヒューリスティックを使用するステップと、前記決定ヒューリスティックを使用してブーリアン満足化可能性(SAT)の探索空間をプルーニングするステップを備える。 - 特許庁

Decision-theoretic policies and/or somewhat less formal heuristic policies can be employed to enable the decision-making process within the notification manager.例文帳に追加

決定理論的ポリシおよび／または多少フォーマルでないヒューリスティックポリシを使用して、通知マネージャ内の意思決定処理を可能にすることができる。 - 特許庁

Decision-theoretic policies and/or somewhat less formal heuristic policies can be employed to enable the decision-making process within the notification manager 24.例文帳に追加

決定理論的ポリシおよび／または多少フォーマルでないヒューリスティックポリシを使用して、通知マネージャ２４内の意思決定処理を可能にすることができる。 - 特許庁

The heuristic inspection means 22 inspects the command/data in a plurality of decision criteria, and determines a value as illicit when the sum of the evaluation values of the decision criteria including the characteristics exceeds an evaluation threshold, and stores the command/data in a log file 23.例文帳に追加

ヒューリスティック検査手段２２はこれを複数の判断基準で検査し、特徴を含む判断基準の評価値合計が評価閾値を超えた場合は不正と判定し、そのコマンド・データをログファイル２３に格納する。 - 特許庁

The decision heuristic is based on the partitioning of a conjunctive normal form(CNF) of a Boolean formula corresponding to the Boolean satisfiability(SAT), and the portioning is induced by a separator set.例文帳に追加

決定ヒューリスティックは、ブーリアン満足化可能性(SAT)に対応したブーリアン式の論理積正規形(CNF)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁

A heuristic inspection means 22 has a decision criterion for inspecting whether or not an inspection object command/data includes characteristic appearing in the illicit command/data and an evaluation value for indicating a probability for expressing command/data illicit in this characteristic.例文帳に追加

ヒューリスティック検査手段２２は、検査対象コマンド・データが不正なコマンド・データに現れる特徴を含むかを検査する判断基準と、この特徴が不正なコマンド・データを表す確率を示す評価値とを有する。 - 特許庁