Time-Extraction for Temporal Logic : Logic Programming and Local Process Time
スポンサーリンク
概要
著者
関連論文
-
ViPPER : ロボットを使用した初等教育向けビジュアルプログラミング
-
コンパイル時に織り込み位置を決定する動的アスペクト指向プログラミング(開発環境)
-
Litesに対する並列分散データストリーム機能拡張の設計
-
Litesに対する並列分散ファイル入出力機能拡張の設計
-
Litesにおける並列分散処理機能の設計
-
3W-7 多面分類法とUMLを用いたオブジェクト群検索システム
-
1Q-7 内部データの視覚化によるプログラミング支援ツール(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
-
GMWウィンドウ・システム上のアプリケーション構築について
-
写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
-
写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
-
RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
-
4P-2 デジタルアーカイブにおける時空間情報の提示手法(情報可視化,学生セッション,データベースとメディア)
-
5M-7 経路探索アルゴリズムを利用した集合場所探索アルゴリズム(アルゴリズム,学生セッション,ソフトウェア科学・工学)
-
5ZE-3 Webを用いた参加型プレゼンテーション(会議支援,学生セッション,インターフェース)
-
5Y-3 集中制御可能な分散型トレーディングシステム(分散システム・アプリケーション,学生セッション,ネットワーク)
-
携帯電話の測位機能を用いた有意位置の学習(位置検出技術, ユビキタスITSとモバイルアプリケーション)
-
コンテクスト情報と操作履歴の関連付けによる操作予測システムの提案(位置情報・コンテクスト依存サービス)
-
個人の知識に応じた教材の自動構成システムの実現
-
IT革命雑感
-
Keio-MMPにおけるUI開発環境の設計
-
優先度付き制約論理型プログラミング (制約論理プログラミング)
-
時制論理における時間軸の抽出 : 論理プログラミングとプロセス固有時間
-
2nd IEEE Conference on Computer Workstations
-
Time-Extraction for Temporal Logic : Logic Programming and Local Process Time
-
情報教育と情報入試:12.グローバルな学際人材のための情報科入試
もっと見る
閉じる
スポンサーリンク