E-LIB Suche - Ergebnisse für: Koshimura, Miyuki

1

Robust Weighted Partial Maximum Satisfiability Problem: Cha..:

, In: Lecture Notes in Computer Science; PRICAI 2022: Trends in Artificial Intelligence,

Sugahara, Tomoya ; Yamashita, Kaito ; Barrot, Nathanaël.. - p. 17-31 , 2022

Link: https://doi.org/10.1007/..

2

A Simple yet Efficient MCSes Enumeration with SAT Oracles:

, In: Intelligent Information and Database Systems; Lecture Notes in Computer Science,

Koshimura, Miyuki ; Satoh, Ken - p. 191-201 , 2020

Link: https://doi.org/10.1007/..

3

CNF Encodings for the Min-Max Multiple Traveling Salesmen P..:

, In: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI),

Zha, Aolong ; Gao, Rongxuan ; Chang, Qiong.. - p. 285-292 , 2020

Link: https://doi.org/10.1109/..

4

Solving Coalition Structure Generation Problems over Weight..:

, In: PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science,

Watanabe, Emi ; Koshimura, Miyuki ; Sakurai, Yuko. - p. 338-353 , 2019

Link: https://doi.org/10.1007/..

5

Maximum Satisfiability Formulation for Optimal Scheduling i..:

, In: PRICAI 2019: Trends in Artificial Intelligence; Lecture Notes in Computer Science,

Liao, Xiaojuan ; Zhang, Hui ; Koshimura, Miyuki.. - p. 618-631 , 2019

Link: https://doi.org/10.1007/..

6

Hybrid particle swarm optimization and convergence analysis..:

, In: Proceedings of the 14th annual conference companion on Genetic and evolutionary computation,

Zhang, Xue-Feng ; Koshimura, Miyuki ; Fujita, Hiroshi. - p. 307-314 , 2012

Link: https://dl.acm.org/doi/1..

7

Combining PSO and local search to solve scheduling problems:

, In: Proceedings of the 13th annual conference companion on Genetic and evolutionary computation,

Zhang, Xue-Feng ; Koshimura, Miyuki ; Fujita, Hiroshi. - p. 347-354 , 2011

Link: https://dl.acm.org/doi/1..

8

Rule Extraction from Blog Using Inductive Logic Programming:

, In: Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03,

Chikara, Noriaki ; Koshimura, Miyuki ; Fujita, Hiroshi. - p. 269-272 , 2010

Link: https://dl.acm.org/doi/1..

9

A Method for Query Expansion Using the Related Word Extract..:

, In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03,

Oishi, Tetsuya ; Kuramoto, Shunsuke ; Mine, Tsunenori... - p. 41-44 , 2008

Link: https://dl.acm.org/doi/1..

10

User-Schedule-based Web Page Recommendation:

, In: Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence,

Oishi, Tetsuya ; Kuramoto, Shunsuke ; Nagata, Hiroto... - p. 776-779 , 2007

Link: https://dl.acm.org/doi/1..

11

MGTP: A model generation theorem prover — Its advanced feat..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Hasegawa, Ryuzo ; Fujita, Hiroshi ; Koshimura, Miyuki - p. 1-15 , 1997

Link: https://doi.org/10.1007/..

12

Non-horn magic sets to incorporate top-down inference into ..:

, In: Automated Deduction—CADE-14; Lecture Notes in Computer Science,

Hasegawa, Ryuzo ; Inoue, Katsumi ; Ohta, Yoshihiko. - p. 176-190 , 1997

Link: https://doi.org/10.1007/..