Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDJimmy Ho-Man Lee
Jimmy H. M. Lee – J. H. M. Lee
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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
- [j29]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
- [j28]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
- [j27]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) - [j26]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
- [j25]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
- [j24]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
- [j23]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 - [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 - [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
- [j22]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) - [j21]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) - [j20]Morris S. Y. Jong, Junjie 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 - [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
- [j19]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
- [j18]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) - [j17]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) - [j16]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 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
- [j15]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) - [j14]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) - [j13]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
- [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 Conference 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, H. W. 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. ISCA Conference on Intelligent Systems 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
- [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