Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Nabeshima, Hidetomo
add a person with the name Nabeshima, Hidetomo
 

Other publications of authors with the same name

Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers., and . IEICE Transactions, 98-D (6): 1121-1127 (2015)Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction., , and . ILP, volume 6489 of Lecture Notes in Computer Science, page 114-129. Springer, (2010)Completing causal networks by meta-level abduction., , and . Machine Learning, 91 (2): 239-277 (2013)Implementing an action language using a SAT solver., , and . ICTAI, page 96-103. IEEE Computer Society, (2000)Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology., , , , , , and . BIOINFORMATICS, page 47-54. SciTePress, (2011)Complete Pruning Methods and a Practical Search Strategy for SOL., , and . LPAR Workshops, volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Inducing Causal Laws by Regular Inference., , and . ILP, volume 3625 of Lecture Notes in Computer Science, page 154-171. Springer, (2005)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , and . Fundam. Inform., 102 (3-4): 467-487 (2010)Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm., , , and . ICDM, page 186-193. IEEE Computer Society, (2005)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , and . RCRA, volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)