Search results 19
Paper図書
National Diet Library
- Subject Heading刈り込み / 抽象化 / 内部モデル / アナロジー / 独立成分分析 / オー...
Paper図書
National Diet Library
- Subject Headingアナロジ- 学習 類推 抽象化内部モデル 刈り込み 隠れ素子 ニユ-ラルネツトワ-ク 独立...
Digital博士論文障害者向け資料あり
National Diet Library
- Subject Heading都市の観察 建築設計 設計方法論 同化 異化 都市要素 ファサード プロポーション 抽象化 空間構成 スタディ 設計プロセス 材料 ディテール 自立性
- Note (General)...り、異化の操作はそのデザインを抽象化する操作であると言い換えることができた。また、それぞれの部位...
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
- Note (General)...明技術を基礎として,SMT述語抽象化,SMTモデル検査及びSMT Interpolationの精...
Digital文書・図像類
Other Libraries in Japan
- Subject Headingアノテーション ChatGPT ローカルデータの検索 タグの抽象化 タグの妥当性評価 Annotation Local Dat...
Paper図書
National Diet Library
- Subject Heading類推 知識情報処理 日本語インターフエース 抽象化 推論の計算量 知識の索引付け 類比 帰納推論
Digital文書・図像類
Other Libraries in Japan
- Subject Heading汎化 抽象化 状態行動空間 環境の普遍的性質
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- Note (General)...)動的プログラム解析の枝刈りと抽象化,実行時間見積もりによる最小な......を構築する)を作成した.(2)抽象化精錬(CEGAR)型SMTモデ......デル検査手法はSMTによる述語抽象化、SMT有界モデル検査、SMTによる反例解析器、SMTソルバ...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading人間支援,抽象化理工学,モーションコントロール,リニアモータ,脳機能障害
Digital文書・図像類
Other Libraries in Japan
- Subject Heading抽象化理工学,人間支援,データロボティクス,手づたえ教示,モーショ...
- Note (General)...基づき、人間動作データの解析・抽象化の方法論を提案した。 The purpose of this...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading確率ハイブリッドシステム 確率ブーリアンネットワーク 最適制御 離散抽象化
- Note (General)本研究課題では,確率ハイブリッドシステムの最適制御および離散抽象化,確率ブーリアンネットワークの......および有限時間区間における離散抽象化の手順を提案した.また,バイオシステムへの応用についても計算...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading組込みシステム 述語抽象化検証 オブジェクト指向
- Note (General)...システムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リ......変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェ......2009 出典:研究課題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検...
Digital博士論文
Available onlineOther Libraries in Japan
- Subject Heading都市の観察 建築設計 設計方法論 同化 異化 都市要素 ファサード プロポーション 抽象化 空間構成 スタディ 設計プロセス 材料 ディテール 自立性
- Note (General)...り、異化の操作はそのデザインを抽象化する操作であると言い換えることができた。また、それぞれの部位...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading環境可視化,ビッグデータ,半構造映像データ,抽象化階層,人称変換,深度付カメラ,裸眼立体視,情動
- Note (General)...いる半構造情報に着目し, その抽象化階層を入れ子グラフ構造に変換する。そして, オーディエンスの...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading温熱覚,ペルチェエレクトロニクス,システムエネルギー変換,波動システム,抽象化理工学,Hand-to-Hand コミュニケーション
Digital文書・図像類
Other Libraries in Japan
- Subject Heading組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可能システム CEGA...
- Note (General)...ッドオートマトンの開発,②その抽象化精錬検証の開発により,コタスクの生成消滅,周波数の動的変化,...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Headingスーパーコンピュータ PSI-SIM プログラムコード抽象化 Supercomputer program code ab...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject HeadingProgram Abstraction プログラムコード抽象化 ハイパフォーマンスコンピューティング High Perfo...
Reached to the end of result.