スポンサーリンク
神戸大学工学部情報知能工学科 | 論文
- ウォークスルーに基づくVRML空間データベースの問い合わせ処理
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
- 並列論理シミュレーション向きタイムワープ機構の効率的な実現手法
- タイムワープ機構の新しい応用 : 並列無格子配線
- タイムワープによる並列論理シミュレータのコンパクトな実現手法
- 直接マイクロコード生成形コンパイラによるLISPマシンの高速化
- コンパイラ導入による試作LISPマシンの効率改善について
- LISPマシンの試作 : インタプリータの構造とシステムの評価
- LISPマシンの試作 : アーキテクチャとLISP言語の仕様
- 高精細画像分割配信方式における講演者位置検出精度の向上
- 高速ネットワークを介した高精細静止画像分割配信システムの評価実験
- スレッドベース実行における積極的データ転送のためのPlan-Do型コンパイル技法とその評価
- ABCL/EM-4 : データ駆動並列計算機上の並列オブジェクト指向言語処理系の実装と評価
- PrologからJavaへのトランスレータ処理系とその応用
- D-11-57 ウェーブレット変換を用いた学習型の超解像(D-11.画像工学,一般セッション)
- 大規模デジタル回路におけるグラウンド雑音の解析(信号解析,アルゴリズム,回路設計)
- HDTV対応低消費電力MPEG2 MP@HL動き検出LSIの開発
- バイトコード変換を用いたJava標準API拡張ツール
スポンサーリンク