Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Jimmy H. M. Lee"'
Publikováno v:
AAAI
Making good decisions at the top of a search tree is important for finding good solutions early in constraint optimization. In this paper, we propose a method employing frequent pattern mining (FPM), a classic datamining technique, to find good subtr
Autor:
Allen Z. Zhong, Jimmy H. M. Lee
Publikováno v:
IJCAI
Exploiting dominance relations in many Constraint Optimization Problems can drastically speed up the solving process in practice. Identification and utilization of dominance relations, however, usually require human expertise. We present a theoretica
Autor:
Jimmy H. M. Lee, Zichen Zhu
Publikováno v:
Artificial Intelligence. 252:51-82
The paper proposes a dynamic method, Recursive Symmetry Breaking During Search (ReSBDS), for efficient partial symmetry breaking. We first demonstrate how Partial Symmetry Breaking During Search (ParSBDS) misses important pruning opportunities when g
Autor:
Jimmy H. M. Lee, Xuming Huang
Publikováno v:
IJCAI
The paper proposes Maximum Residue (MR) as a notion to evaluate the strength of a symmetry breaking method. We give a proof to improve the best known DoubleLex MR upper bound from m!n! - (m!+n!) to min(m!,n!) for an m x n matrix model. Our result imp
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319983332
CP
CP
Stream constraint programming is a recent addition to the family of constraint programming frameworks, where variable domains are sets of infinite streams over finite alphabets. Previous works showed promising results for its applicability to real-wo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c35685fbe68bc076550fc9cb021edbd5
https://doi.org/10.1007/978-3-319-98334-9_17
https://doi.org/10.1007/978-3-319-98334-9_17
Autor:
Z. P. Pierpoint, Yong Hamb Kim, S.H. Yong, F. R. Rogers, W. A. Lynch, W.G. Kang, N.Y. Kim, Hongjoo Kim, Hansoo Park, H. Prihtiadi, N. J. C. Spooner, V. A. Kudryavtsev, P. Adhikari, E. Barbosa de Souza, A. C. Ezeribe, Stephen L. Olsen, Kangsoon Park, M. Kauer, J.S. Park, A. Scarff, J. H. Jo, Seonho Choi, Insik Hahn, W. Q. Choi, W. Kang, Liang Yang, W. G. Thompson, Govinda Adhikari, Eunju Jeon, F. Mouton, Jimmy H. M. Lee, H. W. Joo, K. E. Lim, Reina H. Maruyama, Walter C. Pettus, Hyun Su Lee, A. J. F. Hubbard, M.C. Kim, K. W. Kim, Mitra Djamal, Carsten Rott, Moo Hyun Lee, C. Ha, S. J. Ra, H. Kim, Joo Young Lee, B.H. Kim, N. Carlin, Sun Kee Kim, D. S. Leonard, Y.D. Kim, Hyang Kyu Park
Publikováno v:
Springer Berlin Heidelberg
European Physical Journal C: Particles and Fields, Vol 78, Iss 2, Pp 1-19 (2018)
The European physical journal / C, 78 (2), Article: 107
European Physical Journal C
TopicHub SCOAP3
European Physical Journal C: Particles and Fields, Vol 78, Iss 2, Pp 1-19 (2018)
The European physical journal / C, 78 (2), Article: 107
European Physical Journal C
TopicHub SCOAP3
COSINE is a dark matter search experiment based on an array of low background NaI(Tl) crystals located at the Yangyang underground laboratory. The assembly of COSINE-100 was completed in the summer of 2016 and the detector is currently collecting phy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a9297feb407ea7e42b1f53af69e2434
http://hdl.handle.net/1721.1/114766
http://hdl.handle.net/1721.1/114766
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
Publikováno v:
Constraints. 19:270-308
Lee and Leung make practical the consistency enforcement of global cost functions in Weighted Constraint Satisfaction Problems (WCSPs). The main idea of their approach lies in the derivation of polynomial time algorithms for the computation of the mi
Publikováno v:
Constraints. 18:307-343
Multisets generalize sets by allowing elements to have repetitions. In this paper, we study from a formal perspective representations of multiset variables, and the consistency and propagation of constraints involving multiset variables. These help u
Autor:
Simon de Givry, Jimmy H. M. Lee, David Allouche, Patricia Gutierrez, Samir Loudni, Yi Wu, Jean-Philippe Métivier, Patrice Boizumault, K. L. Leung, Christian Bessiere, Thomas Schiex
Publikováno v:
Artificial Intelligence
Artificial Intelligence, Elsevier, 2016, 238, pp.166-189. ⟨10.1016/j.artint.2016.06.005⟩
Artificial Intelligence (238), 166-189. (2016)
Digital.CSIC. Repositorio Institucional del CSIC
instname
Artificial Intelligence, Elsevier, 2016, 238, pp.166-189. ⟨10.1016/j.artint.2016.06.005⟩
Artificial Intelligence (238), 166-189. (2016)
Digital.CSIC. Repositorio Institucional del CSIC
instname
Graphical model processing is a central problem in artificial intelligence. The optimization of the combined cost of a network of local cost functions federates a variety of famous problems including CSP, SAT and Max-SAT but also optimization in stoc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fe284dd79c0754c121e3f95c929a5a4
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01374533
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01374533
Publikováno v:
IEEE Transactions on Learning Technologies. 3:307-318
Virtual Interactive Student-Oriented Learning Environment (VISOLE) is a constructivist pedagogical approach to game-based learning. It encompasses the creation of a near real-life online interactive world modeled upon a set of multidisciplinary domai