日本ソフトウェア科学会第27回大会報告
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2011-01-25
著者
関連論文
- 特集「インタラクティブシステムとソフトウェア」の編集にあたって
- 微分制約論理式によるハイブリッドシステムのモデリングと検証
- HiRise : GUI構築のためのインクリメンタルな制約解消系(特集・インタラクティブソフトウェア)
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- 特集「インタラクティブシステムとソフトウェア」の編集にあたって
- 1M-1 ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 特集「論理と推論技術の展開」の編集にあたって
- 視覚化に適した制約階層の拡張法
- 制約プログラミングに関する日本・フランス間の研究交流
- WISS '96会議報告
- 数値最適化による力学的グラフ可視化手法
- ユーザインタフェースのための線形制約解消系
- 高次元アプローチによる一般無向グラフの対話的視覚化法(情報可視化, インタラクション: 技術と展開)
- 対話型インターフェースのための幾何制約解消の枠組み次世代インタラクションのための情報技術
- 日本ソフトウェア科学会第27回大会報告
- 対話型3次元アプリケーションのための幾何制約解消法(ユーザインタフェースとインタラクティブシステム)(コラボレーションアートとネットワークエンターテイメント)
- ユーザインタフェースのための線形等式・不等式制約解消系(ソフトウェアシステム)
- ユーザーインターフェースにおける制約解消法の研究動向
- GUIを対象とした線形計算による制約階層解消系の高速化
- 1ZA-8 GUI構築のための数値的な制約階層解消系の機能的改良(UI開発支援,一般講演,インタフェース)