1M-1 ホモトピー法への一次分数変換の適用法について
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1999-09-28
著者
-
小林 英恒
日本大学理工学部数学科
-
鈴木 秀男
能力開発総合大学校東京校情報技術科
-
三島 健稔
埼玉大学工学部情報システム工学科
-
鈴木 秀男
職業能力開発総合大学校東京校
-
三島 健稔
埼玉大学工業部情報システム工学科
-
小林 英恒
日本大学理工学部
関連論文
- A-4-24 特徴量選択機能を付加した決定木によるタンパク質結晶化状態判定(A-4.信号処理,基礎・境界)
- 歯科用セラミックス機能性材料の研削特性
- WWWを活用したCALシステムの構想と試み
- A-1-14 OLDAによる生体連続断面画像からの関心組織の自動抽出(A-1.回路とシステム,基礎・境界)
- 生体フルカラー連続断面画像からの関心組織領域の自動抽出法 : 第一報 : 関心領域の四段階選別
- D-12-152 評価関数の最適化に基づく動画中の複数移動物体の追跡
- G-基底によるU-終結式の構成(数式処理と数学研究への応用)
- Grobner Basis of a Module over K[x$_1$,...,x$_n$] and Polynomial Solutions of a System of Linear Equations
- GROBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES
- 一般消去法による方程式の解法と実例(数式処理と数学研究への応用)
- 単因子の計算法(数式処理と数学研究への応用)
- Grobner-Basisとその応用(数式処理と数学研究への応用)
- 証明データベースの実装について
- A-2-5 タブーサーチのタンパク質結晶化状態判別への応用(A-2.非線形問題,基礎・境界)
- D-2-12 自己連想ニューラルネットワークによる複数属性データ分類のための教師無し同時学習手法の提案
- P2Pシステムにおける効果的なコンテンツ複製配置のためのローカル学習
- A-2-10 無限通りのタスク群に対する並行強化学習(A-2.非線形問題,基礎・境界)
- D-11-42 動作認識に向けた中心窩動画像からの手の発見・追跡と選択的注視
- 高等教育機関におけるネットワーク運用ガイドライン : 健全なネットワーク社会とリスク管理
- ネットワークにおける個人情報保護とその背景
- ネットワーク上の不正行為に関する使用者責任の検討
- 1M-1 ホモトピー法への一次分数変換の適用法について
- 大学における事務ネットワークセキュリティについて
- 電子計算機運用規則における罰則規定の問題点について
- 研究室内計算機システム運用と罰則規定について
- 研究室内計算機システム運用規範試案
- FTAによる内的セキュリティシステムのための知識表現
- D-12-30 オンライン線形判別分析の頑健化に向けた学習係数の自動調節
- D-12-123 動的表情認識のための動画像中の特定変化パターン検出
- D-12-94 輝度変化だけでなくコントラスト変化にも頑健な顔発見用テンプレートマッチング
- D-12-37 クラス毎の分布の違いを基にした、パターン認識のための次元圧縮
- D-12-2 ニューラルネットワークによる複数の属性を持つデータ群の補完
- A-10-4 方向選択的音声送出のためのスピーカアレイシステムの構築
- 2A1-K09 複数移動対象同時追跡のための視野中動き成分の検出と分離
- 2A1-K02 スピーカアレイによる対人追従方向可変音響ビーム形成の実現技法 : 汎用 PC ソフトウェアによる 45μsec 等周期 16CH 同時サンプリング DA 変換の達成
- A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)
- Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)
- F_018 Constructing and Using a Web Service to Find Theorems
- F-028 The Implementation of a Proof Search System for Isabelle
- Formalization of the valuation theory (Algebra, Languages and Computation)
- A-014 グリッドコンピューティングを用いた連立代数方程式の解法 : 根の振る舞いの解析に向けて(A.モデル・アルゴリズム・プログラミング)
- ホモトピー法のパラメータに一次分数変換を適用した近接根問題の解法について(アルゴリズム理論)
- A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
- A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
- "Ring Story"再考 : トレンド,エヴォリューション,そして計画
- 一次分数変換を利用した連立代数方程式の近接根の分離と擬局所化における誤差について
- 連立代数方程式の数値解法における一次分数変換の新たな適用について
- 連立代数方程式の減次の可能性について(数式処理における理論と応用の研究)
- 連立代数方程式の擬局所化の過程で生じる誤差についての報告
- 連立代数方程式の擬局所化の過程で生じる誤差について
- 連立代数方程式の近接根の分離と擬局所化の可能性について(数式処理における理論と応用の研究)
- 一次分数変換を利用した近接根の分離方法とその誤差について
- 一次分数変換を利用した連立代数方程式の高精度計算法
- 1次分数変換を利用した1変数代数方程式の近接根の分離
- シグモイド型パルスジェネレータを取り入れたPulse-Coupled Neural Networkによる注視点探索法
- q-ウェーブレットに関する考察
- SD-2-3 自律型注視点探索を利用した中心窩情報の統合
- D-12-103 オプテイカルフローを用いたPCNNによる注視点探索法
- PARCOR画像の高次局所自己相関特徴を用いたジェスチャー認識
- 段差適応型ホロノミック全方向移動ロボットの開発 : 制御開発及び機構改良による走行性能の強化
- D-12-8 パーコレーションモデルによるフルカラー画像における領域検出
- A-8-3 パーコレーションモデルのネットワーク解析への応用について
- 3次元ベクトル型自己回帰モデルの3次元閉曲線への応用
- 顔の位置に関する事前確率の適応的な推定とIsing探索を用いたニュース映像からの顔検出の高速化
- NMFを用いた和音からの基底音推定
- 3次元ベクトル型自己回帰モデルの提案
- Dynamic Attention Mapを用いた顔検出の高速化
- D-8-11 Isabelleでの所属関係の自動証明の実現について(D-8. 人工知能と知識処理,一般セッション)
- 分散データベースを用いたIDSの構築
- 特殊関数のデータ・ベース化について(数式処理における理論とその応用の研究)
- On Solving the Initial Problem of LR Arrays
- 分数変換による近接根の分離について(数式処理における理論とその応用の研究)
- Some Computations over Successive Algebraic Extension Fields
- 連立代数方程式の解の重複度(精度保証付き数値計算法とその応用)
- 記号行列式の一階微分の評価法
- ネータの正規化定理について(数式処理と数学研究への応用)
- 連立代数方程式の解の重複度(非線形問題の数値解析)
- Zeuthen's Rule について(数式処理と数学研究への応用)
- 国際数式記号処理学会議(ISSAC-90)への呼掛け(数式処理と数学研究への応用)
- 連立代数方程式について(数式処理と数学研究への応用)
- 多変数連立代数方程式の解法 (数式処理)
- 連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用)
- Weierstrass Points on Curves of Fermat Type
- D-13-3 分類構造の再構成が可能な個人利用向け情報整理システムの提案
- ネットワーク利用に関する学内罰則規定のあり方
- 研究開発環境におけるネットワーク不正アクセス防御法
- 2値エッジ画像のテンプレートによる屋外環境下にある対象物の検出
- カーネル判別分析を用いた顔と顔以外の識別
- 未知の画像に対する識別率を用いた顔検出のための特徴点の順序付け (画像の認識・理解論文特集)
- Cross Validationを用いた顔検出のための特徴点の選択
- D-12-51 全方位カメラを搭載した自律移動型ロボットのナビゲーションのためのランドマーク自動検出
- Gabor特徴の情報量による重みづけマッチングを用いた顔認識
- Log-Polar画像から抽出したスペクトル特徴を用いた対象の大きさの変化に影響を受けにくい認識法 : 顔検出と顔識別への応用
- D-12-75 Log-Polar画像から抽出したスペクトル特徴を用いた顔の大きさの変化に強い顔認識法
- Log-Polar画像の高次局所自己相関特徴を用いた大きさに不変な顔画像の認識
- Log-Polar画像の高次局所自己相関特徴を用いた大きさ・回転に不変な2次元図形及び顔画像の認識
- Log-Polar画像の高次局所自己相関特徴による大きさ・回転に不変な2次元図形認識
- An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
- A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)
- An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)