boolean searchとは 意味・読み方・使い方

array of submitted values to search boolean $assoc whether to return the value as associative array発音を聞く 例文帳に追加

送信された値の配列。 boolean$assoc 結果を連想配列で返すかどうか。 - PEAR

a Boolean search発音を聞く 例文帳に追加

ブール検索, ブーリアン検索《ブール演算子を使った検索》 - 研究社 英和コンピューター用語辞典

The search operator is implemented as a Boolean predicate which functions as weighted AND(WAND).例文帳に追加

検索演算子は、加重ＡＮＤ（ＷＡＮＤ）として機能するブール述部として実現される。 - 特許庁

Clicking on the arrow button next to the search box opens a drop-down list of Boolean operators.発音を聞く 例文帳に追加

検索語入力欄の隣にある矢印をクリックするとブール演算子のドロップダウンリストが現われます - 研究社 英和コンピューター用語辞典

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)の探索空間をプルーニングするステップを備える。 - 特許庁

In one embodiment, a method for scheduling events in a Boolean satisfiability (SAT) solver includes collecting one or more first-order statistics on a search for a valid solution to an SAT problem, deriving one or more second-order statistics on the search from the one or more first-order statistics, and scheduling events in the search according to one or more of the second-order statistics.例文帳に追加

一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁