Hidetomo Nabeshima - Concepedia

Author

Hidetomo Nabeshima

University of Yamanashi ORCID

Also Known As

H. Nabeshima, Hidetomo NABESHIMA, Hidetomo Nabeshima, Nabeshima, Hidetomo, Yoshitaka Yamamoto

Publications

390

Citations

H-Index

Concepts

All Affiliations

University of Yamanashi National Institute of Informatics Takeda (Japan)Kyushu University

About

Hidetomo Nabeshima is an author at University of Yamanashi specializing in engineering, computer science, and satisfiability.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	137
2	Computer Science	6	6	137
3	Computer Engineering	2	2	43
4	Medicine	1	1	32
5	Cell Biology	1	1	32

Hidetomo Nabeshima

Publications

270

Citations

H-Index

Page 1

	Year	Citations
SOLAR: An automated deduction system for consequence finding Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, AI Communications	2010	45
Evaluating abductive hypotheses using an EM algorithm on BDDs Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, International Joint Conference on Artificial Intelligence	2009	39
Completing causal networks by meta-level abduction Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima Machine Learning Artificial IntelligenceEngineeringGeneticsCausal Relation ExtractionCausal Inference	2013	32
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Fundamenta Informaticae	2010	29
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers Masahiko Sakai, Hidetomo Nabeshima IEICE Transactions on Information and Systems Mathematical ProgrammingCnf CodingEngineeringConstrained OptimizationComputational Complexity	2015	29
On anti-monotone frequency measures for extracting sequential patterns from a single very-long data sequence K. lwanuma, Yo Takano, Hidetomo Nabeshima EngineeringPattern DiscoveryPattern MiningNovel Frequency MeasureSequential Pattern	2005	29
Minimal model generation with respect to an atom set Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita,	2009	20
Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm Koji Iwanuma, Ryuichi Ishihara, Yo Takano, EngineeringPattern DiscoveryPattern MiningNovel Frequency MeasureData Science	2006	17
Solving Open Job-Shop Scheduling Problems by SAT Encoding Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, IEICE Transactions on Information and Systems Mathematical ProgrammingJob SchedulerEngineeringScheduling ProblemInteger Programming	2010	16
Lemma reusing for SAT based planning and scheduling Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Artificial IntelligenceEngineeringConstraint SatisfactionAi PlanningScheduling Problem	2006	14

Page 1