| 例文 |
contextedを含む例文一覧と使い方
該当件数 : 7件
The system 100 and the method for solving the nogood database involve generating a representation comprising a plurality of contexted disjunctions, conjoining all of the contexted disjunctions to form a conjunction 112 of the contexted disjunctions, and storing the representation as the conjunction 112 of the contexted disjunctions.例文帳に追加
不良データベースを解決するためのシステム100および方法は、文脈に沿った複数の論理和を含む表現を生成し、文脈に沿ったすべての論理和を結合して、文脈に沿った論理和同士の論理積112を形成し、表現を文脈に沿った論理和同士の論理積112として記憶することを含む。 - 特許庁
The linear logic reasoning can be executed in the contexted linear logic to derive a possible meaning from the contexted contribution from the packed functional (f) structure.例文帳に追加
そして、線形論理の論法を文脈化した線形論理に実行でき、これにより、パック機能(f)構造からの文脈化された寄与分から可能な意味を導出する。 - 特許庁
A technique applying skeleton/modifier techniques to a contexted reasoning is provided by generating a contexted modifier applicable only for a specific syntactic reading manner.例文帳に追加
骨組/修飾句技法を文脈論法に適用する技法は、特定の構文法上の読み方のみに適用可能な文脈化した修飾句を生成することにより提供される。 - 特許庁
Deductions in the contexted linear logic do not require fully expanding each syntactic parse.例文帳に追加
文脈化線形論理における推定は、各構文法上のパーズを完全に展開することを必要としない。 - 特許庁
Nogoods 114 are eliminated by refining the representation until a result of the conjunction 112 of the contexted disjunctions is backtrack-free or the result of the conjunction 112 of the contexted disjunctions reduces to false.例文帳に追加
不良部分114は、文脈に沿った論理和同士の論理積112の結果にバックトラックがないか、または文脈に沿った論理和同士の論理積112の結果が減少して偽になるまで、表現を改良して排除される。 - 特許庁
Such a technique recognizes both quantifier scope ambiguity and attachment ambiguity in a representation that uses an efficient skeleton/modifier representation where possible and a contexted representation otherwise.例文帳に追加
これらの技法は、可能な場合には、効率的な骨組/修飾句表現を使う表現法における、量化範囲曖昧さ及び連結曖昧さの両方を認識し、層でない場合には、文脈化表現を認識する。 - 特許庁
This techniques allow a linear logic semantic assembly to work with a packed functional (f) structure and provide for contexted version of linear logic in which a semantic contribution can be read from the packed functional (f) structure and pre-pended with the contents of the functional (f) structure to which they pertain.例文帳に追加
この技術は、線形論理意味論アセンブリと、パック機能(f)構造とを共に機能させ、意味論上の寄与分が、パック機能(f)構造及び適切な文脈が前に付加された機能(f)構造から読まれる、文脈化された版の線形論理を提供する。 - 特許庁
| 例文 |
| Copyright © Japan Patent office. All Rights Reserved. |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|