| 意味 | 例文 |
boolean searchの部分一致の例文一覧と使い方
該当件数 : 6件
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.例文帳に追加
一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁
| 意味 | 例文 |
| Copyright © Japan Patent office. All Rights Reserved. |
| この対訳コーパスは独立行政法人情報通信研究機構の研究成果であり、Creative Commons Attribution-Share Alike 3.0 Unportedでライセンスされています。 |
| Copyright © 2001 - 2008 by the PEAR Documentation Group. This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub/ ). |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
|
ログイン |
Weblio会員(無料)になると
|
