Jimmy Ho-Man Lee

104 papers A* 12A 18B 16C 3Misc 4Journal 28Unranked 22

Year	Rank	Type	Title / Venue / Authors
2023	A*	`conf`	Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints. NeurIPS Xinyi Hu, Jasper C. H. Lee, Jimmy Ho-Man Lee
2020	A*	`conf`	Automatic Dominance Breaking for a Class of Constraint Optimization Problems. IJCAI Jimmy Ho-Man Lee, Allen Z. Zhong
2015	J	`jnl`	Adding laziness in BnB-ADOPT+. Constraints An Int. J. Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su
2015	J	`jnl`	Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction. Constraints An Int. J. Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak, Justin Yip
2014	J	`jnl`	Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. Constraints An Int. J. Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum
2014	A	`conf`	Removing redundant conflict value assignments in resolvent based nogood learning. AAMAS Jimmy Ho-Man Lee, Yuxiang Shi
2014	A	`conf`	Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. CP Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum
2013	B	`conf`	A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. ICTAI Jimmy Ho-Man Lee, Terrence W. K. Mak, Yuxiang Shi
2013	A	`conf`	Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. CP Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer
2013	J	`jnl`	Multiset variable representations and constraint propagation. Constraints An Int. J. Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo
2012	B	`conf`	A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs. ICTAI Jimmy Ho-Man Lee, Terrence W. K. Mak
2012	A	`conf`	Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. CP Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak
2012	J	`jnl`	Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction. J. Artif. Intell. Res. Jimmy Ho-Man Lee, Ka Lun Leung
2012	A	`conf`	Increasing Symmetry Breaking by Preserving Target Symmetries. CP Jimmy Ho-Man Lee, Jingying Li
2012	A*	`conf`	Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction. AAAI Jimmy Ho-Man Lee, Ka Lun Leung, Yi Wu
2012	B	`conf`	Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs. ICTAI Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum
2011	B	`conf`	A Case Study of an Academic Achievement-oriented Student in Game-based Learning. ICALT Morris S. Y. Jong, Fong-lok Lee, Jimmy Ho-Man Lee, Junjie Shang
2011	J	`jnl`	A Comparison of Lex Bounds for Multiset Variables in Constraint Programming CoRR Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh
2011	A*	`conf`	A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. AAAI Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh
2011	A*	`conf`	Constraint Programming on Infinite Data Streams. IJCAI Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu
2011	A	`ed.`	Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings CP Jimmy Ho-Man Lee
2011	B	`conf`	Weighted Constraint Satisfaction Problems with Min-Max Quantifiers. ICTAI Jimmy Ho-Man Lee, Terrence W. K. Mak, Justin Yip
2010	—	`conf`	A Case Study of a Non-gamer Student's Learning Process in VISOLE. DIGITEL Morris S. Y. Jong, Fong-lok Lee, Jimmy Ho-Man Lee, Junjie Shang
2010	A*	`conf`	A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. AAAI Jimmy Ho-Man Lee, Ka Lun Leung
2010	J	`jnl`	An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment. IEEE Trans. Learn. Technol. Morris S. Y. Jong, Junjie Shang, Fong-lok Lee, Jimmy Ho-Man Lee
2010	J	`jnl`	Redundant modeling in permutation weighted constraint satisfaction problems. Constraints An Int. J. Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2010	J	`jnl`	Using Posting Templates for Enhancing Students' Argumentative Elaborations in Computer-Supported Collaborative Inquiry Learning. Res. Pract. Technol. Enhanc. Learn. Morris Siu-Yung Jong, Weiqin Chen, Alex W. C. Tse, Fong-lok Lee, Jimmy Ho-Man Lee
2009	J	`jnl`	Solving finite domain constraint hierarchies by local consistency and tree search. J. Exp. Theor. Artif. Intell. Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee
2009	A*	`conf`	Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. IJCAI Jimmy Ho-Man Lee, Ka Lun Leung
2009	A*	`conf`	Variety Reasoning for Multiset Constraint Propagation. IJCAI Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2008	—	`conf`	An Analytical Approach to Optimizing the Utility of ESP Games. Web Intelligence Chien-Wei Lin, Kuan-Ta Chen, Ling-Jyh Chen, Irwin King, Jimmy Ho-Man Lee
2008	—	`conf`	An Analytical Study of Puzzle Selection Strategies for the ESP Game. Web Intelligence Ling-Jyh Chen, Bo-Chun Wang, Kuan-Ta Chen, Irwin King, Jimmy Ho-Man Lee
2008	J	`jnl`	FARMTASIA: an online game-based learning environment based on the VISOLE pedagogy. Virtual Real. 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
2008	J	`jnl`	Harnessing Computer Games in Education. Int. J. Distance Educ. Technol. Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee
2008	J	`jnl`	Harnessing Computer Games in Education. Int. J. Web Based Learn. Teach. Technol. Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee
2008	—	`conf`	RATE: A Review of Reviewers in a Manuscript Review Process. Web Intelligence Wei Wei, Kam Tong Chan, Irwin King, Jimmy Ho-Man Lee
2008	—	`conf`	Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) Jimmy Ho-Man Lee, C. F. K. Siu
2008	—	`conf`	Using Posting Templates for Enhancing Students' Argumentative Elaborations in Learning Villages. DIGITEL Morris Siu-Yung Jong, Alex W. C. Tse, Yuxia Zhou, Weiqin Chen, Fong-lok Lee, Jimmy Ho-Man Lee
2008	—	`conf`	VISOLE: An Example of Hybrid Learning. ICHL Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee
2007	—	`conf`	A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. Australian Conference on Artificial Intelligence Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2007	—	`conf`	A Pilot Study on Virtual Interactive Student-Oriented Learning Environment. DIGITEL Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee
2007	J	`jnl`	Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Constraints An Int. J. Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith
2007	A	`conf`	Breaking Symmetry of Interchangeable Variables and Values. CP Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip
2007	A*	`conf`	Measuring credibility of users in an e-learning environment. WWW Wei Wei, Jimmy Ho-Man Lee, Irwin King
2007	J	`jnl`	Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2007	A	`conf`	Solving the Salinity Control Problem in a Potable Water System. CP Chiu Wo Choi, Jimmy Ho-Man Lee
2007	J	`jnl`	The island confinement method for reducing search space in local search methods. J. Heuristics Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
2006	C	`conf`	An Exploratory Study on Teachers' Perceptions of Game-based Situated Learning. ICCE Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee, Huk-Yuen Law
2006	—	`conf`	Exploring the Fourth Dimension: The Design of a Multimedia Learning System for Generalization. Edutainment Fong Lok Lee, Jimmy Ho-Man Lee, Marti K. H. Wong, Huk-Yuen Law, L. Wang
2006	Misc	`conf`	Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem. FLAIRS Spencer K. L. Fung, Jimmy Ho-Man Lee, Ho-fung Leung
2006	J	`jnl`	Islands for SAT CoRR Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
2006	—	`conf`	Learning Online: A Comparative Study of a Situated Game-Based Approach and a Traditional Web-Based Approach. Edutainment Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee, Huk-Yuen Law
2006	—	`conf`	Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling. Australian Conference on Artificial Intelligence Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2006	C	`conf`	Using the "Record-Replay" Function for Elaboration of Knowledge in Educational Games. ICCE 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
2006	B	`conf`	VISOLE: A New Game-based Situated Learning Paradigm. ICALT Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee
2005	Misc	`conf`	Breaking value symmetries in matrix models using channeling constraints. SAC Yat Chiu Law, Jimmy Ho-Man Lee
2005	B	`conf`	Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI Chiu Wo Choi, Jimmy Ho-Man Lee
2005	C	`conf`	Design Strategies and Principles in VISOLE. ICCE Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee
2005	B	`conf`	Guided Complete Search for Nurse Rostering Problem. ICTAI Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee
2004	B	`conf`	A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. ICTAI Spencer K. L. Fung, Denny J. Zheng, Ho-fung Leung, Jimmy Ho-Man Lee, Hon Wai Chun
2004	J	`jnl`	Finite Domain Bounds Consistency Revisited CoRR Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey
2004	A	`conf`	Global Constraints for Integer and Set Value Precedence. CP Yat Chiu Law, Jimmy Ho-Man Lee
2004	J	`jnl`	Removing Propagation Redundant Constraints in Redundant Modeling CoRR Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	J	`jnl`	A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments. Artif. Intell. Xudong Luo, Nicholas R. Jennings, Nigel Shadbolt, Ho-fung Leung, Jimmy Ho-Man Lee
2003	A	`conf`	Box Constraint Collections for Adhoc Constraints. CP Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	A*	`conf`	Efficient Representation of Adhoc Constraints. IJCAI Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	J	`jnl`	Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Fuzzy Sets Syst. Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung, Nicholas R. Jennings
2003	A*	`conf`	Propagation Redundancy for Permutation Channels. IJCAI Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	A	`conf`	Propagation Redundancy in Redundant Modelling. CP Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	A	`conf`	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
2003	A*	`conf`	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
2002	J	`jnl`	A Constraint-Based Interactive Train Rescheduling Tool. Constraints An Int. J. C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung
2002	B	`conf`	A Real-Time Agent Architecture: Design, Implementation and Evaluation. PRIMA Jimmy Ho-Man Lee, Lei Zhao
2002	A	`conf`	Algebraic Properties of CSP Model Operators. CP Yat Chiu Law, Jimmy Ho-Man Lee
2002	J	`jnl`	Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliab. Comput. Chong-Kan Chiu, Jimmy Ho-Man Lee
2002	—	`conf`	Model Induction: A New Source of CSP Model Redundancy. AAAI/IAAI Yat Chiu Law, Jimmy Ho-Man Lee
2002	—	`conf`	Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
2001	B	`conf`	A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
2001	B	`conf`	Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
2001	—	`conf`	Weighted/prioritized compensatory aggregation. EUSFLAT Conf. Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
2000	J	`jnl`	A Lagrangian reconstruction of GENET. Artif. Intell. Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2000	—	`conf`	A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
2000	B	`conf`	A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
2000	—	`conf`	Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems. IS Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
2000	A	`conf`	Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints. ECAI Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
1999	J	`jnl`	An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. Comput. Lang. Jimmy Ho-Man Lee, Ho-fung Leung
1999	J	`jnl`	Increasing Constraint Propagation by Redundant Modeling: an Experience Report. Constraints An Int. J. B. M. W. Cheng, Kenneth M. F. Choi, Jimmy Ho-Man Lee, J. C. K. Wu
1998	B	`conf`	A Lagrangian reconstruction of a class of local search methods. ICTAI Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
1998	A	`conf`	Fuzzifying the Constraint Hierarchies Framework. CP R. W. L. Kam, Jimmy Ho-Man Lee
1998	—	`conf`	Performance of a Comprehensive and Efficient Constraint Library Based on Local Search. Australian Joint Conference on Artificial Intelligence Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won
1997	J	`jnl`	A nurse rostering system using constraint programming and redundant modeling. IEEE Trans. Inf. Technol. Biomed. B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu
1996	A	`conf`	A Constraint-Based Interactive Train Rescheduling Tool. CP C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung
1996	B	`conf`	A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. ICTAI B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu
1996	Misc	`conf`	Incremental querying in the concurrent CLP language IFD-Constraint Pandora. SAC Jimmy Ho-Man Lee, Ho-fung Leung
1996	A	`conf`	Speeding Up Constraint Propagation By Redundant Modeling. CP B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu
1996	A	`conf`	Towards a More Efficient Stochastic Constraint Solver. CP Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won
1996	—	`conf`	Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won
1995	B	`conf`	Extending GENET for non-binary CSP's. ICTAI Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won
1994	Misc	`conf`	IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. SAC Jimmy Ho-Man Lee, Ho-fung Leung
1994	—	`conf`	Towards Practical Interval Constraint Solving in Logic Programming. ILPS C. K. Chiu, Jimmy Ho-Man Lee
1993	J	`jnl`	Interval Computation as Deduction in CHIP. J. Log. Program. Jimmy Ho-Man Lee, Maarten H. van Emden
1992	—	`conf`	Adapting CLP to Floating-Point Arithmetic. FGCS Jimmy Ho-Man Lee, Maarten H. van Emden
1992	—	`—`	Numerical computation as deduction in constraint logic programming. Jimmy Ho-Man Lee
1988	—	`conf`	Tables as a User Interface for Logic Programs. FGCS Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee