Jimmy Ho-Man Lee
Orcid: 0000-0001-9526-5850Affiliations:
- Chinese University of Hong Kong, Hong Kong
According to our database1,
Jimmy Ho-Man Lee
authored at least 137 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on cs.cuhk.hk
On csauthors.net:
Bibliography
2024
Proceedings of the 18th IEEE International Conference on Control & Automation, 2024
2023
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems.
Artif. Intell., October, 2023
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization.
J. Artif. Intell. Res., 2023
Two-Stage Predict+Optimize for Mixed Integer Linear Programs with Unknown Parameters in Constraints.
CoRR, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
iExam: A Novel Online Exam Monitoring and Analysis System Based on Face Detection and Recognition.
CoRR, 2022
Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
2021
Proceedings of the Blended Learning: Re-thinking and Re-defining the Learning Process., 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
Artif. Intell., 2017
Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017
2016
Artif. Intell., 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction.
Constraints An Int. J., 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction.
Constraints An Int. J., 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Towards Practical Infinite Stream Constraint Programming: Applications and Implementation.
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Constraints An Int. J., 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
2012
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction.
J. Artif. Intell. Res., 2012
A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle.
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the ICALT 2011, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment.
IEEE Trans. Learn. Technol., 2010
Using Posting Templates for Enhancing Students' Argumentative Elaborations in Computer-Supported Collaborative Inquiry Learning.
Res. Pract. Technol. Enhanc. Learn., 2010
Constraints An Int. J., 2010
Proceedings of the 2010 Third IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, 2010
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
J. Exp. Theor. Artif. Intell., 2009
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction.
Proceedings of the IJCAI 2009, 2009
Proceedings of the IJCAI 2009, 2009
2008
Virtual Real., 2008
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008
Proceedings of the Hybrid Learning and Education, First International Conference, 2008
Using Posting Templates for Enhancing Students' Argumentative Elaborations in Learning Villages.
Proceedings of the 2nd IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, 2008
2007
ACM Trans. Comput. Log., 2007
J. Heuristics, 2007
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Constraints An Int. J., 2007
Proceedings of the 16th International Conference on World Wide Web, 2007
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007
Proceedings of the DIGITEL 2007, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007
2006
Constraints An Int. J., 2006
Using the "Record-Replay" Function for Elaboration of Knowledge in Educational Games.
Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006
An Exploratory Study on Teachers' Perceptions of Game-based Situated Learning.
Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006
Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006
Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006
Design and Implementation of Farmtasia: A Game Designed for the VISOLE Teaching Style.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006
Exploring the Fourth Dimension: The Design of a Multimedia Learning System for Generalization.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006
Learning Online: A Comparative Study of a Situated Game-Based Approach and a Traditional Web-Based Approach.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006
Proceedings of the Proceedings, 2006
2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005
Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005
Design Strategies and Principles in VISOLE.
Proceedings of the Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences, 2005
2004
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
2003
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation.
Fuzzy Sets Syst., 2003
A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments.
Artif. Intell., 2003
Proceedings of the IJCAI-03, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
Reliab. Comput., 2002
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2002
Proceedings of the Principles and Practice of Constraint Programming, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001
Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001
2000
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000
Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints.
Proceedings of the ECAI 2000, 2000
Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems.
Proceedings of the ISCA 9th International Conference on Intelligent Systems, 2000
1999
Constraints An Int. J., 1999
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages.
Comput. Lang., 1999
1998
J. Exp. Theor. Artif. Intell., 1998
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998
Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998
Proceedings of the Principles and Practice of Constraint Programming, 1998
Performance of a Comprehensive and Efficient Constraint Library Based on Local Search.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998
1997
IEEE Trans. Inf. Technol. Biomed., 1997
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language.
Comput. Lang., 1997
1996
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996
Proceedings of the 1996 International Conference on Object Oriented Information Systems, 1996
Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Concurrency and Parallelism, 1996
1995
Int. J. Artif. Intell. Tools, 1995
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method.
Proceedings of the Logic Programming, 1995
1994
Towards Practical Interval Constraint Solving in Logic Programming.
Proceedings of the Logic Programming, 1994
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming.
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994
Towards the Integration of Artificial Neural Networks and Constraint Logic Programming.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
Construction of a WYSIWYG LaTeX Typesetting System Using Object-oriented Design.
Proceedings of the Software Quality and Productivity: Theory, 1994
1993
1992
Adapting CLP to Floating-Point Arithmetic.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
1988
Tables as a User Interface for Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988