Model Generation with Boolean Constraints
スポンサーリンク
概要
著者
-
FUJITA Hiroshi
Kyushu University
-
Hasegawa Ryuzo
Kyushu Univ. Fukuoka‐shi Jpn
-
Hasegawa Ryuzo
Dept.of Intelligent Systems Faculty Of Information Science And Electrical Eng. Kyushu Univ.
-
Koshimura Miyuki
Dept.of Intelligent Systems Faculty Of Information Science And Electrical Eng. Kyushu Univ.
-
FUJITA Hiroshi
Dept.of Intelligent Systems, Faculty of Information Science and Electrical Eng.,Kyushu Univ.
-
Fujita Hiroshi
Dept. Of Intelligent Image Information Graduate School Of Medicine Gifu University
-
Fujita H
Dept.of Intelligent Systems Faculty Of Information Science And Electrical Eng. Kyushu Univ.
-
Fujita H
Kyushu University
関連論文
- 帰納論理プログラミングを用いたブログからのルール抽出 (「Web情報処理」および一般発表)
- モデル列挙とモデル計数(最近のSAT技術の発展)
- Solving Open Job-Shop Scheduling Problems by SAT Encoding
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
- 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価(「Webインテリジェンス」及び一般)
- 2C-6 Blogデータのクラスタリングと分析(コンテンツ推薦,一般セッション,データベースとメディア)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web情報検索,データ工学論文)
- F-039 モデル生成法を用いた極小モデル生成(人工知能・ゲーム,一般論文)
- モデル生成型定理証明と要素技術(論理と推論技術の展開)
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- 1V-6 変数のアクティビティ情報を共有するマルチスレッドSATソルバ(学習・推論,学生セッション,人工知能と認知科学)
- 6S-9 ユーザーのスケジュールを用いたWebページ推薦(ユーザ指向・推薦,学生セッション,データベースとメディア)
- D-008 相関ルールに基づく文書検索システム(D分野:データベース)
- スケジュールに基づくWebページ推薦に用いる検索単語の選定(WEBサービス,特集「Web情報処理」及び一般)
- スケジュールに基づく Web ページ推薦に用いる検索単語の選定
- FPGA上のSATソルバPCMGTPへの前処理の導入
- D_024 ユーザの意思を反映したWeb検索の効率化(D分野:データベース)
- C_003 FPGAを用いたN-Queens問題の解決について(C分野:ハードウェア)
- Web検索におけるスケジュール情報の利用 (「Web情報処理」および一般発表)
- スケジュールに基づくWebページ推薦に用いる検索単語の選定 (テーマ:「Web情報処理」および一般発表)
- B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
- Superconductivity Unresponsive to Magnetic Substituents in YBa_2(Cu_M_x)_3O_
- Experiments on Superconducting (Rare Earth)-Ba_2Cu_3O_ down to 30 mK
- Superconducting and Magnetic Properties of High-T_c Superconductor GdBa_2Cu_3O_x
- Superconductivity of Y_1Ba_2(Cu_Fe_x)_3O_y
- The Meissner Effect of the Small Single Crystals of Ba_2YCu_O_
- Anomalous Resistivity in Ba-Y-Cu-O Systems
- AC Susceptibility of Superconducting La-Sr-Cu-O System
- 抽象モデル生成による不要節の削除(人工知能,認知科学)
- Twitterにおける流行語先取り発言者の検出システムの開発
- Twitterにおける流行語先取り発言者の検出システムの開発
- ソーシャルブックマークにおける有用なユーザの発見
- Wikipediaのリンク共起とカテゴリに基づくリランキング手法
- Wikipediaのリンク共起とカテゴリに基づくリランキング手法
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
- 5S-4 Twitterの流行語発言者の抽出に基づくフォロワー推薦システムの開発(情報推薦(2),学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- Computer-aided Detection for Spiculated Architectural Distortion on Mammograms(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- Performance Evaluation of a CAD System for Detecting Masses on Mammograms by Using the MIAS Database
- Brain CT Scoring Method Using Normal CT Scans to Detect Bain Damage for Emergency Medical Care(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- Partial Max-SATソルバーQMaxSATの評価 (特集 「AIの基本問題SATと応用技術」および一般)
- Development of whole breast ultrasound system with CAD function(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- Model Generation with Boolean Constraints
- An improved powell method for registration of MRI and MRA (医用画像)
- Automated Shape Analysis of Optic Disc on Retinal Fundus Images(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- Cup Region Extraction of Optic Nerve Head for Three-Dimensional Retinal Fundus Image
- Computer-aided Diagnosis for Detection of Lacunar Infarcts in MR Images
- Automated body cavity extraction and recognition based on non-contrast torso CT images(Joint Session 2)
- Automated Computerized Detection of Unruptured Intracranial Aneurysms in MRA images(Joint Session 1)
- Automated Detection of Mammographic Masses in MIAS Database
- F-021 基数制約を用いたMax-SATソルバーの試作(F分野:人工知能・ゲーム,一般論文)
- F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文)
- D-033 データ解析における並列分散処理基盤Hadoopの利用(D分野:データベース,一般論文)
- 1W-9 モデル生成によるSATソルバの並列化(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5R-2 ODPを利用した個人化検索システムの比較と効率化(Webシステム,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 3C-2 動詞の提示による動的な検索支援システム(Web検索支援,一般セッション,データベースとメディア,情報処理学会創立50周年記念)
- Investigation of the Glaucoma Risk Assessment Based on the Clinical Data Obtained in the Screening Exams(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- Determination of Cup Region in Optic Nerve Head by Use of Stereo Fundus Image Pairs for Diagnosis of Glaucoma(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- Proximity Effect-Induced Superconductivity and NMR Relaxation in Nb-Cu Multilayers
- NMR Study of the Proximity Effect in Nb-Cu Multilayers
- A Model Generation Theorem Prover Handling Finite Interval Constraints
- CAD Scheme on Brain MR Images for Distinction Between Lacunar Infarcts and Enlarged Virchow-Robin Spaces(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- K-means clustering and classification of medical images based on regions-of-interest
- Development of an Automated Method for the Detection of Chronic Lacunar Infarct Regions in Brain MR Images(Image Recognition, Computer Vision)
- Classification of Cirrhotic Liver in MRI Images Using Texture Features
- An atlas-driven approach for automated recognition of liver structure in non-contrasted torso CT images
- Automatic Segmentation of Hepatic Tissue and 3D Volume Analysis of Cirrhosis in Multi-Detector Row CT Scans and MR Imaging(Biological Engineering)
- Superconductivity of Y_1Ba_2(Cu_Al_x)_3O_y and Y_1Ba_2(Cu_Zn_x)_3O_y
- Development of CAD for Retinal Fundus Images(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- Development of an Automated Hemorrhages Detection Algorithm on Retinal Fundus Images(International Forum on Medical Imaging in Asia 2009 (IFMIA 2009))
- The Contact Resistance in the Pressed Powder of YBa_2Cu_3O_ : Electrical Properties of Condensed Matter
- Detection of hepatic tumours on Multi-phase CT images for surgical plan
- Automated detection of chest nodules in 3D chest CT scans by using 2nd-order autocorrelation features
- Nodule Detection in 3D Chest CT Images Using 2nd Order Autocorrelation Features and GA Template Matching(Joint Session 1)
- Solving Open Job-Shop Scheduling Problems by SAT Encoding
- Modeling Nonlinear Dynamic Systems Using Universal Learning Network with Filtering Mechanism
- Remarks on Traces of $H^1$-functions Defined in a Domain with Corners
- 帰納論理プログラミングを用いた棋譜からのルール抽出
- Twitterのリスト機能を用いたユーザの特徴抽出
- Twitter発言の時系列解析に基づくハッシュタグの内容説明
- Wikipediaの時系列アクセス数に着目した関連度算出
- The Effect of Specimen Diameter on Tensile Behaviors of Aluminum Thin Wires
- DPLL型SATソルバを用いた極小モデル生成について
- Analysis of bone mineral density distribution at trabecular bones in thoracic and lumbar vertebrae using X-ray CT images
- Intense deuterium nuclear fusion of pycnodeuterium-lumps coagulated locally within highly deuterated atom clusters
- Discovery of Solid Deuterium Nuclear Fusion of Pycnodeuterium-Lumps Solidified Locally Within Nano-Pd Particles
- 帰納論理プログラミングを用いたTwitterからのルール抽出(「コンテキストを意識した知識の利用」及び一般)
- Feature and Sentiment Based Opinion Mining and Summarizing on Twitter
- Feature and Sentiment Based Opinion Mining and Summarizing on Twitter
- ATOM CLUSTERS AND CRYSTAL NUCLEATION