default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJimmy Ho-Man Lee
Jimmy H. M. Lee – J. H. M. Lee
Person information
- affiliation: Chinese University of Hong Kong, Hong Kong
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c104]Hon Kit Hui, Jimmy H. M. Lee, Anthony K. W. Sum
, Darwin Lau:
Indoor Hydroponics Robot System for Automated Seeding and Logistics. ICCA 2024: 376-381- 2023
- [j32]Jimmy H. M. Lee, Allen Z. Zhong:
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems. Artif. Intell. 323: 103974 (2023) - [j31]Jimmy H. M. Lee, Allen Z. Zhong:
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. J. Artif. Intell. Res. 78: 1-35 (2023) - [c103]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints. AAAI 2023: 3987-3995 - [c102]Hongbo Li, Jimmy H. M. Lee:
Finding Good Partial Assignments during Restart-Based Branch and Bound Search. AAAI 2023: 4035-4043 - [c101]Jimmy H. M. Lee:
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk). CP 2023: 2:1-2:1 - [c100]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. CPAIOR 2023: 264-280 - [c99]Xinyi Hu, Jasper C. H. Lee, Jimmy Ho-Man Lee:
Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints. NeurIPS 2023 - [i12]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. CoRR abs/2303.06698 (2023) - [i11]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Two-Stage Predict+Optimize for Mixed Integer Linear Programs with Unknown Parameters in Constraints. CoRR abs/2311.08022 (2023) - 2022
- [c98]Jimmy H. M. Lee, Allen Z. Zhong:
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. CP 2022: 31:1-31:17 - [c97]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize. NeurIPS 2022 - [i10]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize. CoRR abs/2205.01672 (2022) - [i9]Xu Yang, Daoyuan Wu, Xiao Yi, Jimmy H. M. Lee, Tan Lee:
iExam: A Novel Online Exam Monitoring and Analysis System Based on Face Detection and Recognition. CoRR abs/2206.13356 (2022) - [i8]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints. CoRR abs/2209.03668 (2022) - 2021
- [c96]Jimmy H. M. Lee, Allen Z. Zhong:
Towards More Practical and Efficient Automatic Dominance Breaking. AAAI 2021: 3868-3876 - [c95]Jimmy H. M. Lee:
From MOOC to SPOC: Fable-Based Learning. ICBL 2021: 16-25 - 2020
- [c94]Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey:
Teaching Constraint Programming Using Fable-Based Learning. AAAI 2020: 13366-13373 - [c93]Jimmy Ho-Man Lee, Allen Z. Zhong:
Automatic Dominance Breaking for a Class of Constraint Optimization Problems. IJCAI 2020: 1192-1200
2010 – 2019
- 2018
- [c92]Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Augmenting Stream Constraint Programming with Eventuality Conditions. CP 2018: 242-258 - [i7]Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Augmenting Stream Constraint Programming with Eventuality Conditions. CoRR abs/1806.04325 (2018) - 2017
- [j30]Jimmy H. M. Lee, Zichen Zhu:
Towards breaking more composition symmetries in partial symmetry breaking. Artif. Intell. 252: 51-82 (2017) - [c91]Jesús Giráldez-Cru, Jimmy H. M. Lee, Pedro Meseguer:
Iterative AWC for Distributed SAT. CCIA 2017: 56-65 - 2016
- [j29]David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu:
Tractability-preserving transformations of global cost functions. Artif. Intell. 238: 166-189 (2016) - [c90]Jimmy H. M. Lee, Zichen Zhu:
Breaking More Composition Symmetries Using Search Heuristics. AAAI 2016: 3418-3425 - [c89]Jimmy H. M. Lee, Christian Schulte, Zichen Zhu:
Increasing Nogoods in Restart-Based Search. AAAI 2016: 3426-3433 - [c88]Jimmy H. M. Lee, Zichen Zhu:
Static Symmetry Breaking with the Reflex Ordering. IJCAI 2016: 758-765 - 2015
- [j28]Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak, Justin Yip:
Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction. Constraints An Int. J. 20(2): 109-154 (2015) - [j27]Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su:
Adding laziness in BnB-ADOPT+. Constraints An Int. J. 20(2): 274-282 (2015) - [c87]Jimmy H. M. Lee, Zichen Zhu:
Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search. IJCAI 2015: 339-345 - [i6]David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu:
Tractability and Decompositions of Global Cost Functions. CoRR abs/1502.02414 (2015) - 2014
- [j26]Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. Constraints An Int. J. 19(3): 270-308 (2014) - [c86]Jimmy H. M. Lee, Zichen Zhu:
Boosting SBDS for Partial Symmetry Breaking in Constraint Programming. AAAI 2014: 2695-2702 - [c85]Jimmy Ho-Man Lee, Yuxiang Shi:
Removing redundant conflict value assignments in resolvent based nogood learning. AAMAS 2014: 1133-1140 - [c84]Jasper C. H. Lee, Jimmy H. M. Lee:
Towards Practical Infinite Stream Constraint Programming: Applications and Implementation. CP 2014: 449-464 - [c83]Jimmy H. M. Lee, Zichen Zhu:
An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search. CP 2014: 465-480 - [c82]Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. CP 2014: 797-812 - [i5]J. H. M. Lee, Ka Lun Leung:
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction. CoRR abs/1401.4605 (2014) - 2013
- [j25]Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo:
Multiset variable representations and constraint propagation. Constraints An Int. J. 18(3): 307-343 (2013) - [c81]Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer:
Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. CP 2013: 365-380 - [c80]Jimmy Ho-Man Lee, Terrence W. K. Mak, Yuxiang Shi:
A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. ICTAI 2013: 979-986 - 2012
- [j24]Jimmy Ho-Man Lee, Ka Lun Leung:
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction. J. Artif. Intell. Res. 43: 257-292 (2012) - [c79]Jimmy Ho-Man Lee, Ka Lun Leung, Yi Wu:
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction. AAAI 2012: 507-513 - [c78]Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak:
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. CP 2012: 373-389 - [c77]Jimmy Ho-Man Lee, Jingying Li:
Increasing Symmetry Breaking by Preserving Target Symmetries. CP 2012: 422-438 - [c76]Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs. ICTAI 2012: 9-16 - [c75]Jimmy Ho-Man Lee, Terrence W. K. Mak:
A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs. ICTAI 2012: 17-24 - 2011
- [c74]Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. AAAI 2011: 61-67 - [c73]Morris S. Y. Jong, Fong-lok Lee, Jimmy Ho-Man Lee, Junjie Shang:
A Case Study of an Academic Achievement-oriented Student in Game-based Learning. ICALT 2011: 7-11 - [c72]J. H. M. Lee, Yu Wai Shum:
Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction. ICTAI 2011: 305-312 - [c71]Jimmy Ho-Man Lee, Terrence W. K. Mak, Justin Yip:
Weighted Constraint Satisfaction Problems with Min-Max Quantifiers. ICTAI 2011: 769-776 - [c70]Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu:
Constraint Programming on Infinite Data Streams. IJCAI 2011: 597-604 - [e1]Jimmy Ho-Man Lee:
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Lecture Notes in Computer Science 6876, Springer 2011, ISBN 978-3-642-23785-0 [contents] - [i4]Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. CoRR abs/1106.5890 (2011) - 2010
- [j23]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
Redundant modeling in permutation weighted constraint satisfaction problems. Constraints An Int. J. 15(3): 354-403 (2010) - [j22]Morris Siu-Yung Jong, Weiqin Chen, Alex W. C. Tse, Fong-lok Lee, Jimmy Ho-Man Lee:
Using Posting Templates for Enhancing Students' Argumentative Elaborations in Computer-Supported Collaborative Inquiry Learning. Res. Pract. Technol. Enhanc. Learn. 5(3): 275-294 (2010) - [j21]Morris S. Y. Jong, Junjie J. Shang, Fong-lok Lee, Jimmy Ho-Man Lee:
An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment. IEEE Trans. Learn. Technol. 3(4): 307-318 (2010) - [c69]Jimmy Ho-Man Lee, Ka Lun Leung:
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. AAAI 2010: 121-127 - [c68]Morris S. Y. Jong, Fong-lok Lee, Jimmy Ho-Man Lee, Junjie Shang:
A Case Study of a Non-gamer Student's Learning Process in VISOLE. DIGITEL 2010: 77-84
2000 – 2009
- 2009
- [j20]Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee:
Solving finite domain constraint hierarchies by local consistency and tree search. J. Exp. Theor. Artif. Intell. 21(4): 233-257 (2009) - [c67]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
Variety Reasoning for Multiset Constraint Propagation. IJCAI 2009: 552-558 - [c66]Jimmy Ho-Man Lee, Ka Lun Leung:
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. IJCAI 2009: 559-565 - 2008
- [j19]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee:
Harnessing Computer Games in Education. Int. J. Distance Educ. Technol. 6(1): 1-9 (2008) - [j18]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee:
Harnessing Computer Games in Education. Int. J. Web Based Learn. Teach. Technol. 3(3): 54-61 (2008) - [j17]Kevin K. F. Cheung, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee, Eric T. H. Luk, Junjie Shang, Marti K. H. Wong:
FARMTASIA: an online game-based learning environment based on the VISOLE pedagogy. Virtual Real. 12(1): 17-25 (2008) - [c65]Morris Siu-Yung Jong, Alex W. C. Tse, Yuxia Zhou, Weiqin Chen, Fong-lok Lee, Jimmy Ho-Man Lee:
Using Posting Templates for Enhancing Students' Argumentative Elaborations in Learning Villages. DIGITEL 2008: 180-187 - [c64]Junjie J. Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee:
VISOLE: An Example of Hybrid Learning. ICHL 2008: 348-358 - [c63]Jimmy Ho-Man Lee, C. F. K. Siu:
Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) 2008: 291-298 - [c62]Ling-Jyh Chen, Bo-Chun Wang, Kuan-Ta Chen, Irwin King, Jimmy Ho-Man Lee:
An Analytical Study of Puzzle Selection Strategies for the ESP Game. Web Intelligence 2008: 180-183 - [c61]Chien-Wei Lin, Kuan-Ta Chen, Ling-Jyh Chen, Irwin King, Jimmy Ho-Man Lee:
An Analytical Approach to Optimizing the Utility of ESP Games. Web Intelligence 2008: 184-187 - [c60]Wei Wei, Kam Tong Chan, Irwin King, Jimmy Ho-Man Lee:
RATE: A Review of Reviewers in a Manuscript Review Process. Web Intelligence 2008: 204-207 - 2007
- [j16]Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith:
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Constraints An Int. J. 12(4): 469-505 (2007) - [j15]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
The island confinement method for reducing search space in local search methods. J. Heuristics 13(6): 557-585 (2007) - [j14]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): 23 (2007) - [c59]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. Australian Conference on Artificial Intelligence 2007: 191-201 - [c58]Chiu Wo Choi, Jimmy Ho-Man Lee:
Solving the Salinity Control Problem in a Potable Water System. CP 2007: 33-48 - [c57]Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip:
Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437 - [c56]Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee:
A Pilot Study on Virtual Interactive Student-Oriented Learning Environment. DIGITEL 2007: 65-72 - [c55]Wei Wei, Irwin King, J. H. M. Lee:
Bibliographic Attributes Extraction with Layer-upon-Layer Tagging. ICDAR 2007: 804-808 - [c54]Wei Wei, Jimmy Ho-Man Lee, Irwin King:
Measuring credibility of users in an e-learning environment. WWW 2007: 1279-1280 - 2006
- [j13]Yat Chiu Law, Jimmy H. M. Lee:
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. Constraints An Int. J. 11(2-3): 221-267 (2006) - [c53]J. H. M. Lee, C. F. K. Siu:
Weighted Constraint Satisfaction with Set Variables. AAAI 2006: 80-85 - [c52]Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58 - [c51]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling. Australian Conference on Artificial Intelligence 2006: 59-68 - [c50]Fong Lok Lee, Jimmy Ho-Man Lee, Marti K. H. Wong, Huk-Yuen Law, L. Wang:
Exploring the Fourth Dimension: The Design of a Multimedia Learning System for Generalization. Edutainment 2006: 261-270 - [c49]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee, Huk-Yuen Law:
Learning Online: A Comparative Study of a Situated Game-Based Approach and a Traditional Web-Based Approach. Edutainment 2006: 541-551 - [c48]Eric T. H. Luk, Marti K. H. Wong, Kevin K. F. Cheung, Fong Lok Lee, J. H. M. Lee:
Design and Implementation of Farmtasia: A Game Designed for the VISOLE Teaching Style. Edutainment 2006: 566-571 - [c47]Spencer K. L. Fung, Jimmy Ho-Man Lee, Ho-fung Leung:
Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem. FLAIRS 2006: 141-146 - [c46]Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee:
VISOLE: A New Game-based Situated Learning Paradigm. ICALT 2006: 1082-1083 - [c45]Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee, Marti K. H. Wong, Eric T. H. Luk, Kevin K. F. Cheung:
Using the "Record-Replay" Function for Elaboration of Knowledge in Educational Games. ICCE 2006: 503-506 - [c44]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee, Huk-Yuen Law:
An Exploratory Study on Teachers' Perceptions of Game-based Situated Learning. ICCE 2006: 525-532 - [i3]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Islands for SAT. CoRR abs/cs/0607071 (2006) - 2005
- [c43]Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee:
Design Strategies and Principles in VISOLE. ICCE 2005: 879-882 - [c42]Chiu Wo Choi, Jimmy Ho-Man Lee:
Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI 2005: 104-108 - [c41]Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee:
Guided Complete Search for Nurse Rostering Problem. ICTAI 2005: 706-707 - [c40]Yat Chiu Law, Jimmy Ho-Man Lee:
Breaking value symmetries in matrix models using channeling constraints. SAC 2005: 371-376 - 2004
- [c39]Yat Chiu Law, Jimmy Ho-Man Lee:
Global Constraints for Integer and Set Value Precedence. CP 2004: 362-376 - [c38]Spencer K. L. Fung, Denny J. Zheng, Ho-fung Leung, Jimmy Ho-Man Lee, Hon Wai Chun:
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. ICTAI 2004: 696-703 - [i2]Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. CoRR abs/cs/0412021 (2004) - [i1]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing Propagation Redundant Constraints in Redundant Modeling. CoRR abs/cs/0412026 (2004) - 2003
- [j12]Xudong Luo, Nicholas R. Jennings, Nigel Shadbolt, Ho-fung Leung, Jimmy Ho-Man Lee:
A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments. Artif. Intell. 148(1-2): 53-102 (2003) - [j11]Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung, Nicholas R. Jennings:
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Fuzzy Sets Syst. 136(2): 151-188 (2003) - [c37]Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP 2003: 138-152 - [c36]Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228 - [c35]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy in Redundant Modelling. CP 2003: 229-243 - [c34]Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI 2003: 1364-1365 - [c33]Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369 - [c32]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371 - 2002
- [j10]C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung:
A Constraint-Based Interactive Train Rescheduling Tool. Constraints An Int. J. 7(2): 167-198 (2002) - [j9]Chong-Kan Chiu, Jimmy Ho-Man Lee:
Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliab. Comput. 8(2): 139-174 (2002) - [c31]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI 2002: 28-33 - [c30]Yat Chiu Law, Jimmy Ho-Man Lee:
Model Induction: A New Source of CSP Model Redundancy. AAAI/IAAI 2002: 54-61 - [c29]Yat Chiu Law, Jimmy Ho-Man Lee:
Algebraic Properties of CSP Model Operators. CP 2002: 750-754 - [c28]Jimmy Ho-Man Lee, Lei Zhao:
A Real-Time Agent Architecture: Design, Implementation and Evaluation. PRIMA 2002: 18-32 - 2001
- [c27]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Weighted/prioritized compensatory aggregation. EUSFLAT Conf. 2001: 149-155 - [c26]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE 2001: 1171-1174 - [c25]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE 2001: 1175-1178 - 2000
- [j8]Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000) - [c24]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems. IS 2000: 35-38 - [c23]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints. ECAI 2000: 373-377 - [c22]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS 2000: 409-410 - [c21]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI 2000: 795
1990 – 1999
- 1999
- [j7]Jimmy Ho-Man Lee, Ho-fung Leung:
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. Comput. Lang. 25(3): 119-144 (1999) - [j6]B. M. W. Cheng, Kenneth M. F. Choi, Jimmy Ho-Man Lee, J. C. K. Wu:
Increasing Constraint Propagation by Redundant Modeling: an Experience Report. Constraints An Int. J. 4(2): 167-192 (1999) - 1998
- [j5]C. K. Chiu, J. H. M. Lee:
Extending HCLP with partially ordered hierarchies and composite constraints. J. Exp. Theor. Artif. Intell. 10(1): 5-24 (1998) - [c20]Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won:
Performance of a Comprehensive and Efficient Constraint Library Based on Local Search. Australian Joint Conference on Artificial Intelligence 1998: 191-202 - [c19]R. W. L. Kam, Jimmy Ho-Man Lee:
Fuzzifying the Constraint Hierarchies Framework. CP 1998: 280-294 - [c18]T. K. Lee, Philip Heng Wai Leong, K. H. Lee, K. T. Chan, Siew Kok Hui, H. K. Yeung, M. F. Lo, J. H. M. Lee:
An FPGA Implementation of GENET for Solving Graph Coloring Problems . FCCM 1998: 284-285 - [c17]Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of a class of local search methods. ICTAI 1998: 166-175 - 1997
- [j4]J. H. M. Lee, P. K. C. Pun:
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language. Comput. Lang. 23(1): 25-42 (1997) - [j3]B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
A nurse rostering system using constraint programming and redundant modeling. IEEE Trans. Inf. Technol. Biomed. 1(1): 44-54 (1997) - 1996
- [c16]Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won:
Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996: 43-52 - [c15]B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
Speeding Up Constraint Propagation By Redundant Modeling. CP 1996: 91-103 - [c14]C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung:
A Constraint-Based Interactive Train Rescheduling Tool. CP 1996: 104-118 - [c13]Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won:
Towards a More Efficient Stochastic Constraint Solver. CP 1996: 338-352 - [c12]B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. ICTAI 1996: 140-148 - [c11]J. H. M. Lee, P. K. C. Pun:
An Overview of the OLI Multiparadigm Programming Language and Its Semantics. OOIS 1996: 79-92 - [c10]Jimmy Ho-Man Lee, Ho-fung Leung:
Incremental querying in the concurrent CLP language IFD-Constraint Pandora. SAC 1996: 387-392 - 1995
- [j2]J. H. M. Lee, V. W. L. Tam:
A Framework for Integrating Artificial Neural Networks and Logic Programming. Int. J. Artif. Intell. Tools 4(1-2): 3-32 (1995) - [c9]C. K. Chiu, J. H. M. Lee:
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. ICLP 1995: 17-31 - [c8]Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won:
Extending GENET for non-binary CSP's. ICTAI 1995: 338-343 - 1994
- [c7]J. H. M. Lee, J. C. K. Leung, C. C. K. Wong:
Construction of a WYSIWYG LaTeX Typesetting System Using Object-oriented Design. Software Quality and Productivity 1994: 135-138 - [c6]J. H. M. Lee, T. W. Lee:
A WAM-Based Abstract Machine for Interval Constraint Logic Programming. ICTAI 1994: 122-128 - [c5]J. H. M. Lee, V. W. L. Tam:
Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. ICTAI 1994: 446-452 - [c4]Jimmy Ho-Man Lee, Ho-fung Leung:
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. SAC 1994: 405-409 - [c3]C. K. Chiu, Jimmy Ho-Man Lee:
Towards Practical Interval Constraint Solving in Logic Programming. ILPS 1994: 109-123 - 1993
- [j1]Jimmy Ho-Man Lee, Maarten H. van Emden:
Interval Computation as Deduction in CHIP. J. Log. Program. 16(3): 255-276 (1993) - 1992
- [b1]Jimmy Ho-Man Lee:
Numerical computation as deduction in constraint logic programming. University of Victoria, Canada, 1992 - [c2]Jimmy Ho-Man Lee, Maarten H. van Emden:
Adapting CLP to Floating-Point Arithmetic. FGCS 1992: 996-1003
1980 – 1989
- 1988
- [c1]Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee:
Tables as a User Interface for Logic Programs. FGCS 1988: 784-791
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
