( en | de | ru )

 

Disambiguation of "Anai, Hirokazu"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Parsing of Pre-university Math Problems.

, , , , and . ACL (1), page 2131-2141. Association for Computational Linguistics, (2017)

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.

Hirokazu Kawaguchi

Hirokazu Kurosawa

 

Other publications of authors with the same name

Effective quantifier elimination for industrial applications.. ISSAC, page 18-19. ACM, (2014)Plant/controller design integration for H2 control based on symbolic-numeric hybrid optimization., , and . Commun. Inf. Syst., 11 (3): 281-306 (2011)Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination., , , , and . Appl. Algebra Eng. Commun. Comput., 18 (6): 497-512 (2007)A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design., , and . Math. Comput. Sci., 5 (3): 315-334 (2011)Simplifying Urban Network Security Games with Cut-Based Graph Contraction., , , and . AAMAS, page 205-213. ACM, (2016)An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems., , and . SNC, page 168-177. ACM, (2011)An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification., , and . CASC, volume 8136 of Lecture Notes in Computer Science, page 194-208. Springer, (2013)Semantic Parsing of Pre-university Math Problems., , , , and . ACL (1), page 2131-2141. Association for Computational Linguistics, (2017)Agent-based analysis for design of signage systems in large-scale facilities., , , and . WSC, page 3134-3135. IEEE/ACM, (2015)Deciding linear-trigonometric problems., and . ISSAC, page 14-22. ACM, (2000)