三幸 越村 の写真なし

Scopus著者プロファイル

越村 三幸

助教

Pureの文献数とScopusの被引用数に基づいて算出されます
1992 …2024

年別の研究成果

フィルター
会議への寄与

検索結果

  • 2022

    Robust Weighted Partial Maximum Satisfiability Problem: Challenge to Σ2P -Complete Problem

    Sugahara, T., Yamashita, K., Barrot, N., Koshimura, M. & Yokoo, M., 2022, PRICAI 2022: Trends in Artificial Intelligence - 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Proceedings. Khanna, S., Cao, J., Bai, Q. & Xu, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 17-31 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13629 LNCS).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • 2020

    A Simple yet Efficient MCSes Enumeration with SAT Oracles

    Koshimura, M. & Satoh, K., 2020, Intelligent Information and Database Systems - 12th Asian Conference, ACIIDS 2020, Proceedings. Nguyen, N. T., Trawinski, B., Jearanaitanakij, K., Chittayasothorn, S. & Selamat, A. (eds.). Springer, p. 191-201 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12033 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)

  • CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem

    Zha, A., Gao, R., Chang, Q., Koshimura, M. & Noda, I., 11月 2020, Proceedings - IEEE 32nd International Conference on Tools with Artificial Intelligence, ICTAI 2020. Alamaniotis, M. & Pan, S. (eds.). IEEE Computer Society, p. 285-292 8 p. 9288178. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2020-November).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)
  • 2019

    Maximum satisfiability formulation for optimal scheduling in overloaded real-time systems

    Liao, X., Zhang, H., Koshimura, M., Huang, R. & Yu, W., 2019, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Nayak, A. C. & Sharma, A. (eds.). Springer Verlag, p. 618-631 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11670 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    6 被引用数 (Scopus)

  • Solving Coalition Structure Generation Problems over Weighted Graph

    Watanabe, E., Koshimura, M., Sakurai, Y. & Yokoo, M., 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila Wenkstern, R. (eds.). Springer, p. 338-353 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11873 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)
  • 2018

    A Hybrid Encoding of Pseudo-Boolean Constraints into CNF

    Zha, A., Koshimura, M. & Fujita, H., 5月 9 2018, Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017. Institute of Electrical and Electronics Engineers Inc., p. 9-12 4 p. (Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)
  • 2017

    Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation

    Zha, A., Nomoto, K., Ueda, S., Koshimura, M., Sakurai, Y. & Yokoo, M., 2017, PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Bazzan, A., Villata, S., An, B., Leite, J. & van der Torre, L. (eds.). Springer Verlag, p. 143-159 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10621 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    5 被引用数 (Scopus)

  • Mixed radix weight totalizer encoding for pseudo-boolean constraints

    Zha, A., Uemura, N., Koshimura, M. & Fujita, H., 7月 2 2017, Proceedings - 2017 International Conference on Tools with Artificial Intelligence, ICTAI 2017. IEEE Computer Society, p. 868-875 8 p. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2017-November).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    2 被引用数 (Scopus)
  • 2013

    Modulo based CNF encoding of cardinality constraints and its application to MaxSAT solvers

    Ogawa, T., Liu, Y., Hasegawa, R., Koshimura, M. & Fujita, H., 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 9-17 9 p. 6735224. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    33 被引用数 (Scopus)

  • SCSat: A soft constraint guided SAT solver

    Fujita, H., Koshimura, M. & Hasegawa, R., 2013, Theory and Applications of Satisfiability Testing, SAT 2013 - 16th International Conference, Proceedings. p. 415-421 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7962 LNCS).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Using MaxSAT to correct errors in AES key schedule images

    Liao, X., Zhang, H., Koshimura, M., Fujita, H. & Hasegawa, R., 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 284-291 8 p. 6735262. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    6 被引用数 (Scopus)
  • 2012

    Evaluating reranking methods based onlink co-occurrence and category in Wikipedia

    Takiguchi, Y., Kurakado, K., Oishi, T., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence. p. 277-282 6 p. (ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence; vol. 1).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Hybrid Particle Swarm Optimization and convergence analysis for scheduling problems

    Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Companion. Association for Computing Machinery, p. 307-314 8 p. (GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Companion).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    2 被引用数 (Scopus)

  • Rule extraction from micro-blog using inductive logic programming

    Chikara, N., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, 2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedings. 6342076. (2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedings).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Solving the coalition structure generation problem with MaxSAT

    Liao, X., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, Proceedings - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. p. 910-915 6 p. 6495141. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 1).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    17 被引用数 (Scopus)
  • 2011

    An efficient hybrid particle swarm optimization for the Job Shop scheduling problem

    Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., 2011, FUZZ 2011 - 2011 IEEE International Conference on Fuzzy Systems - Proceedings. p. 622-626 5 p. 6007385. (IEEE International Conference on Fuzzy Systems).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    8 被引用数 (Scopus)

  • Combining PSO and local search to solve scheduling problems

    Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., 2011, Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. p. 347-354 8 p. (Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    4 被引用数 (Scopus)

  • Evaluating reranking methods using wikipedia features

    Kurakado, K., Oishi, T., Hasegawa, R., Fujita, H. & Koshimura, M., 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. p. 376-381 6 p. (ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence; vol. 1).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)

  • Hybrid Particle Swarm Optimization with parameter selection approaches to solve Flow Shop Scheduling Problem

    Zhang, X. F., An, X., Koshimura, M., Fujita, H. & Hasegawa, R., 2011, Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011. p. 13-19 7 p. 6169128. (Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Trendspotter detection system for twitter

    Shirakihara, W., Oishi, T., Hasegawa, R., Hujita, H. & Koshimura, M., 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. p. 625-628 4 p. (ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence; vol. 1).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • 2010

    Related word extraction algorithm for query expansion - An evaluation

    Oishi, T., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., 2010, Advances in Practical Multi-Agent Systems. Bai, Q. (ed.). p. 33-48 16 p. (Studies in Computational Intelligence; vol. 325).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)

  • Related word extraction from wikipedia for web retrieval assistance

    Hori, K., Oishi, T., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., 2010, ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings. p. 192-199 8 p. (ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings; vol. 2).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    2 被引用数 (Scopus)

  • Rule extraction from blog using Inductive logic Programming

    Chikara, N., Koshimura, M., Fujita, H. & Hasegawa, R., 2010, Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010. p. 269-272 4 p. 5615040. (Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)
  • 2008

    A method for query expansion using the related word extraction algorithm

    Oishi, T., Kuramoto, S., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., 2008, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. p. 41-44 4 p. 4740723. (Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    1 被引用数 (Scopus)

  • Personalized search using ODP-based user profiles created from user bookmark

    Oishi, T., Kambara, Y., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., 2008, PRICAI 2008: Trends in Artificial Intelligence - 10th Pacific Rim International Conference on Artificial Intelligence, Proceedings. p. 839-848 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5351 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    5 被引用数 (Scopus)
  • 2007

    User-schedule-based Web page recommendation

    Oishi, T., Kuramoto, S., Nagata, H., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., 2007, Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007. p. 776-779 4 p. 4427188. (Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    3 被引用数 (Scopus)
  • 2005

    Abstract model generation for preprocessing clause sets

    Koshimura, M., Umeda, M. & Hasegawa, R., 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, p. 67-78 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3452 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • 2001

    Model generation with Boolean Constraints

    Koshimura, M., Fujita, H. & Hasegawa, R., 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, p. 299-308 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    Open Access
    1 被引用数 (Scopus)
  • 2000

    Effcient minimal model generation using branching lemmas

    Hasegawa, R., Fujita, H. & Koshimura, M., 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. McAllester, D. (ed.). Springer Verlag, p. 184-199 16 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1831).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    16 被引用数 (Scopus)

  • Minimal model generation with factorization and constrained search

    Koshimura, M., Kita, M. & Hasegawa, R., 2000, PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Mizoguchi, R. & Slaney, J. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1886).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

  • Proof simplification for model generation and its applications

    Koshimura, M. & Hasegawa, R., 2000, Logic for Programming and Automated Reasoning - 7th International Conference, LPAR 2000, Proceedings. Parigot, M. & Voronkov, A. (eds.). Springer Verlag, p. 96-113 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1955).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    4 被引用数 (Scopus)
  • 1997

    MGTP: A model generation theorem prover-its advanced features and applications

    Hasegawa, R., Fujita, H. & Koshimura, M., 1997, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings. Galmiche, D. (ed.). Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1227).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    9 被引用数 (Scopus)

  • Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving

    Hasegawa, R., Inoue, K., Ohta, Y. & Koshimura, M., 1997, Automated Deduction – CADE-14 - 14th International Conference on Automated Deduction, Proceedings. McCune, W. (ed.). Springer Verlag, p. 176-190 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1249).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    19 被引用数 (Scopus)
  • 1992

    Embedding negation as failure into a model generation theorem prover

    Inoue, K., Koshimura, M. & Hasegawa, R., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer Verlag, p. 400-415 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    48 被引用数 (Scopus)

  • MGTP: A parallel theorem prover based on lazy model generation

    Hasegawa, R., Koshimura, M. & Fujita, H., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer Verlag, p. 776-780 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    11 被引用数 (Scopus)