The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Hiroshi Fujita: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
    A Model Generation Based Theorem Prover MGTP for First-Order Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:178-213 [Conf]
  2. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
    Efficient Minimal Model Generation Using Branching Lemmas. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:184-199 [Conf]
  3. Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
    MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:776-780 [Conf]
  4. Tadashi Kanamori, Hiroshi Fujita
    Formulation of Induction Formulas in Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:281-299 [Conf]
  5. Takeshi Hara, Akitsugu Yamada, Hiroshi Fujita, Norimitsu Shinohara, Katsuhei Horita, Takuji Iwase, Tokiko Endo
    Contrast correction method for detecting microcalcifications on mammograms by using step-wedge index. [Citation Graph (0, 0)][DBLP]
    CARS, 2001, pp:567-572 [Conf]
  6. Takeshi Hara, Akira Yamamoto, Xiangrong Zhou, Shingo Iwano, Shigeki Itou, Hiroshi Fujita, Takeo Ishigaki
    Automated volume measurements of pulmonary emphysema on 3D chest CT images. [Citation Graph (0, 0)][DBLP]
    CARS, 2003, pp:1043-1048 [Conf]
  7. Yuji Hatanaka, Takeshi Hara, Hiroshi Fujita, Satoshi Kasai, Tokiko Endo, Takuji Iwase
    An automated detection method of mammographic masses existing around thick-mammary-gland and near chest-wall regions. [Citation Graph (0, 0)][DBLP]
    CARS, 2001, pp:560-566 [Conf]
  8. Yuji Hatanaka, Yusuke Sakakibara, Takeshi Hara, Hiroshi Fujita, Akira Aoyama, Tetsuya Yamamoto
    Development of an automated method for detecting abnormal blood vessels on retinal images. [Citation Graph (0, 0)][DBLP]
    CARS, 2004, pp:1363- [Conf]
  9. Shinji Kobayashi, Xiangrong Zhou, Takeshi Hara, Hiroshi Fujita, Ryujiro Yokoyama, Takuji Kiryu, Hiroaki Hoshi
    Automated identification of thoracic cage region from X-ray CT images. [Citation Graph (0, 0)][DBLP]
    CARS, 2004, pp:1357- [Conf]
  10. Tomoko Matsubara, Tetsuko Ichikawa, Takeshi Hara, Hiroshi Fujita, Satoshi Kasai, Tokiko Endo, Takuji Iwase
    Automated detection methods for architectural distortions around skinline and within mammary gland on mammograms. [Citation Graph (0, 0)][DBLP]
    CARS, 2003, pp:950-955 [Conf]
  11. Tomoko Matsubara, Tetsuko Ichikawa, Takeshi Hara, Hiroshi Fujita, Satoshi Kasai, Tokiko Endo, Takuji Iwase
    Novel method for detecting mammographic architectural distortion based on concentration of mammary gland. [Citation Graph (0, 0)][DBLP]
    CARS, 2004, pp:867-871 [Conf]
  12. Tomoko Matsubara, D. Yamazaki, M. Kato, Takeshi Hara, Hiroshi Fujita, Takuji Iwase, Tokiko Endo
    An automated classification scheme for mammograms based on amount and distribution of fibroglandular breast tissue density. [Citation Graph (0, 0)][DBLP]
    CARS, 2001, pp:545-552 [Conf]
  13. T. Nakagawa, Takeshi Hara, Hiroshi Fujita, Takuji Iwase, Tokiko Endo, Katsuhei Horita
    Automated contour extraction of mammographic mass shadow using an improved active contour model. [Citation Graph (0, 0)][DBLP]
    CARS, 2004, pp:882-885 [Conf]
  14. Xuejun Zhang, Masayuki Kanematsu, Hiroshi Fujita, Takeshi Hara, Hiroshi Kondo, Xiangrong Zhou, Wenguang Li, Hiroaki Hoshi
    Compute-aided differentiation of focal liver lisease in MR imaging. [Citation Graph (0, 0)][DBLP]
    CARS, 2003, pp:1063-1069 [Conf]
  15. Xiangrong Zhou, Shigeaki Kobayashi, Tatsuro Hayashi, N. Murata, Takeshi Hara, Hiroshi Fujita, Ryujiro Yokoyama, Takuji Kiryu, Hiroaki Hoshi, Machiko Sato
    Lung structure recognition - a further study of thoracic organ recognitions based on CT Images. [Citation Graph (0, 0)][DBLP]
    CARS, 2003, pp:1025-1030 [Conf]
  16. Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
    Model Generation Theorem Provers on a Parallel Inference Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:357-375 [Conf]
  17. Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
    ARGOS/V: A System for Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:994-998 [Conf]
  18. Takeshi Hara, Hiroshi Fujita, Yongbum Lee, Hitoshi Yoshimura, Shoji Kido
    Automated Lesion Detection Methods for 2D and 3D Chest X-Ray Images. [Citation Graph (0, 0)][DBLP]
    ICIAP, 1999, pp:768-773 [Conf]
  19. Hiroshi Fujita, Ryuzo Hasegawa
    A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:535-548 [Conf]
  20. Hiroshi Fujita, Akira Okumura, Koichi Furukawa
    Partial Evaluation of GHC Programs Based on the UR-set with Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:924-941 [Conf]
  21. Hiroshi Fujita, Naoki Yagi, Tomonobu Ozaki, Koichi Furukawa
    A New Design and Implementation of Progol by Bottom-Up Computation. [Citation Graph (0, 0)][DBLP]
    Inductive Logic Programming Workshop, 1996, pp:163-174 [Conf]
  22. Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
    Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:221-238 [Conf]
  23. Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
    Model Generation with Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:299-308 [Conf]
  24. Daisuke Fukuoka, Yuji Ikedo, Takeshi Hara, Hiroshi Fujita, Etsuo Takada, Tokiko Endo, Takako Morita
    Development of Breast Ultrasound CAD System for Screening. [Citation Graph (0, 0)][DBLP]
    Digital Mammography / IWDM, 2006, pp:392-398 [Conf]
  25. Takeshi Hara, Takanari Makita, Tomoko Matsubara, Hiroshi Fujita, Yoriko Inenaga, Tokiko Endo, Takuji Iwase
    Automated Detection Method for Architectural Distortion with Spiculation Based on Distribution Assessment of Mammary Gland on Mammogram. [Citation Graph (0, 0)][DBLP]
    Digital Mammography / IWDM, 2006, pp:370-375 [Conf]
  26. Gobert N. Lee, Takeshi Hara, Hiroshi Fujita
    Classifying Masses as Benign or Malignant Based on Co-occurrence Matrix Textures: A Comparison Study of Different Gray Level Quantizations. [Citation Graph (0, 0)][DBLP]
    Digital Mammography / IWDM, 2006, pp:332-339 [Conf]
  27. Keiko Sugisaki, Hiroshi Fujita, Hiro Goto, Hiroaki Hoshi
    Complementary Role of Computer Aided Detection in Mammography. [Citation Graph (0, 0)][DBLP]
    Digital Mammography / IWDM, 2006, pp:504-508 [Conf]
  28. Xiangrong Zhou, Teruhiko Kitagawa, Takeshi Hara, Hiroshi Fujita, Xuejun Zhang, Ryujiro Yokoyama, Hiroshi Kondo, Masayuki Kanematsu, Hiroaki Hoshi
    Constructing a Probabilistic Model for Automated Liver Region Segmentation Using Non-contrast X-Ray Torso CT images. [Citation Graph (0, 0)][DBLP]
    MICCAI (2), 2006, pp:856-863 [Conf]
  29. Hiroshi Fujita, Tatsuo Nakajima, Hiroshi Tezuka
    A processor reservation system supporting dynamic QOS control. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1995, pp:224-231 [Conf]
  30. Tatsuo Nakajima, Hiroshi Fujita
    Experiences with adaptive QOS mapping scheme. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1996, pp:261-0 [Conf]
  31. Koichi Furukawa, Hiroshi Fujita, Toramatsu Shintani
    Deriving an Efficient Production System by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:661-674 [Conf]
  32. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
    MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:1-15 [Conf]
  33. Kazuko Takahashi, Hiroshi Fujita
    A verification method for systolic arrays using induction-based theorem provers. [Citation Graph (0, 0)][DBLP]
    AI in Engineering, 1999, v:13, n:1, pp:43-53 [Journal]
  34. Hiroshi Fujita, Koichi Furukawa
    A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:91-118 [Journal]
  35. Akikazu Takeuchi, Hiroshi Fujita
    Competitive Partial Evaluation - Some Remaining Problems of Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:259-277 [Journal]
  36. Yuji Hatanaka, Takeshi Hara, Hiroshi Fujita, Satoshi Kasai, Tokiko Endo, Takuji Iwase
    Development of an Automated Method for Detection Mammographic Masses with a Partial Loss of Region. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Med. Imaging, 2001, v:20, n:12, pp:1209-1214 [Journal]
  37. Yongbum Lee, Takeshi Hara, Hiroshi Fujita
    Automated Detection of Pulmonary Nodules in Helical CT Images Based on an Improved Template-matching Technique. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Med. Imaging, 2001, v:20, n:7, pp:595-604 [Journal]
  38. Tosiaki Miyati, Tatsuo Banno, Hiroshi Fujita, Mitsuhito Mase, Hiroyuki Narita, Masayoshi Imazawa, Satoru Ohba
    Acoustic Noise Analysis in Echo Planar Imaging: Multi-center Trial and Comparison With Other Pulse Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Med. Imaging, 1999, v:18, n:8, pp:733-736 [Journal]
  39. Pahal Dalal, Brent C. Munsell, Song Wang, Jijun Tang, Kenton Oliver, Hiroaki Ninomiya, Xiangrong Zhou, Hiroshi Fujita
    A Fast 3D Correspondence Method for Statistical Shape Modeling. [Citation Graph (0, 0)][DBLP]
    CVPR, 2007, pp:- [Conf]

  40. K-means Clustering for Classifying Unlabelled MRI Data. [Citation Graph (, )][DBLP]


  41. A Method for Query Expansion Using the Related Word Extraction Algorithm. [Citation Graph (, )][DBLP]


  42. Automated Solder Inspection Method by Means of X-ray Oblique Computed Tomography. [Citation Graph (, )][DBLP]


  43. Classification of Benign and Malignant Masses in Ultrasound Breast Image Based on Geometric and Echo Features. [Citation Graph (, )][DBLP]


  44. Computerized Classification of Mammary Gland Patterns in Whole Breast Ultrasound Images. [Citation Graph (, )][DBLP]


  45. Introducing a Novel Image Quality Measure for Digital Phase-Contrast-Image Evaluation. [Citation Graph (, )][DBLP]


  46. Preliminary Evaluation of a Phase Contrast Imaging with Digital Mammography. [Citation Graph (, )][DBLP]


  47. Development of Whole Breast Ultrasound Viewer and Automated Mass Detection System. [Citation Graph (, )][DBLP]


  48. Classifying Breast Masses in Volumetric Whole Breast Ultrasound Data: A 2.5-Dimensional Approach. [Citation Graph (, )][DBLP]


  49. Personalized Search Using ODP-based User Profiles Created from User Bookmark. [Citation Graph (, )][DBLP]


  50. User-Schedule-based Web Page Recommendation. [Citation Graph (, )][DBLP]


  51. Automatic Measurement of Vertical Cup-to-Disc Ratio on Retinal Fundus Images. [Citation Graph (, )][DBLP]


  52. State-of-the-Art of Computer-Aided Detection/Diagnosis (CAD). [Citation Graph (, )][DBLP]


  53. A Novel Method for Extraction of Spleen by Using Thin-plate Splines (TPS) Deformation and Edge Detection from Abdominal CT Images. [Citation Graph (, )][DBLP]


  54. CAD on Liver Using CT and MRI. [Citation Graph (, )][DBLP]


  55. CAD on Brain, Fundus, and Breast Images. [Citation Graph (, )][DBLP]


  56. Related Word Extraction from Wikipedia for Web Retrieval Assistance. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.024secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002