スポンサーリンク
金沢大学理工学域電子情報学類 | 論文
- 依存対を用いた文脈依存書換え系の停止性判定について
- 消去法による項書換え系の停止性判定について
- 依存対を用いた文脈依存書換え系の停止性判定について
- 消去法による項書換え系の停止性判定について
- OTS/CafeOBJ法における証明譜からのテスト生成
- ISWC2006参加報告
- ISWC2006参加報告
- ISWC2006参加報告
- 音を用いた筋電情報の提示 筋電特徴と音特徴との対応付けと強調
- 生体信号を利用した繰り返し運動における非定常行動の抽出
- 表面筋電信号を用いたウェアラブル型ミュージック・インタフェース
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- Argument filtering transformation
- D-12-44 Haar-like特徴とアフィン動きモデル推定を用いた顔器官検出・追跡(D-12.パターン認識・メディア理解,一般セッション)
- 輝度変化にロバストな高速オプティカルフローアルゴリズムのFPGA実装
- 複数筋における疲労パターンの検出とその推移に関する考察
- 文脈依存書き換えの拡張
- CDR-PLLにおける周波数引き込みシミュレーションの解析(ポスター講演,学生・若手研究会)
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- LC-VCOとリング型VCOのノイズ感度の比較および解析(ポスター講演,学生・若手研究会)