WEKO3
アイテム
XPath 充足可能性を判定する多項式時間アルゴリズムの実装と評価
https://ipsj.ixsq.nii.ac.jp/records/112471
https://ipsj.ixsq.nii.ac.jp/records/112471812c64d3-5a15-49d2-b63b-09738934ee5c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Kansai2014005.pdf (154.4 kB)
|
Copyright (c) 2014 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Branch(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-09-10 | |||||||||
| タイトル | ||||||||||
| タイトル | XPath 充足可能性を判定する多項式時間アルゴリズムの実装と評価 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | ソフトウェアとアルゴリズム | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 大阪大学 | ||||||||||
| 著者所属 | ||||||||||
| 大阪大学 | ||||||||||
| 著者所属 | ||||||||||
| 大阪大学 | ||||||||||
| 著者名 |
杉村憲司
× 杉村憲司
× 石原靖哲
× 藤原融 |
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | DTDとXPathのクラスを制限し、多項式時間で充足可能性判定を行う手法が提案されている。本研究では、報告者が属する研究チームにより提案されたいくつかの多項式時間充足可能性判定アルゴリズムを実装し、その有用性を評価する。 | |||||||||
| 書誌情報 |
2014年度 情報処理学会関西支部 支部大会 講演論文集 巻 2014, 発行日 2014-09-10 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
