抽象機械の英語

抽象的内部表現のif-変換とif-変換の機械表現への変換とを含む。例文帳に追加

This method includes if-conversion of an abstract internal representation and the conversion of if-conversion into a machine representation. - 特許庁

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する．例文帳に追加

We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness.発音を聞く  - コンピューター用語辞典

機械読取り可能な抽象記述データ構造を作成する段階と、少なくとも１つの権利管理データ構造と相互操作するためにこの表現を使用する段階とを含んで成るデータ処理方法を構成する。例文帳に追加

A data processing method comprises a step of creating a computer-readable abstract descriptive data structure and a step of using this expression for inter-operating with at least one right management data structure. - 特許庁

主要な問題の場所において混雑が生じるまでの時間量、および混雑が解消するまでの時間量を表す変数を含めた、交通システムを抽象化した１組の確率変数に基づいて、交通流および混雑について予想を行うことができる、統計的機械学習に基づく、予測モデルを構成するためのシステムおよび方法を提供すること。例文帳に追加

To provide systems and methods for constructing predictive models, based on statistical machine learning, that can make forecasts about traffic flows and congestions, based on an abstraction of a traffic system into a set of random variables, including variables that represent the amount of time until there will be congestion at key trouble spots and the time until congestions will resolve. - 特許庁