Jimmy Ho-Man Lee

J. H. M. Lee

2008
77	EE	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
76	EE	Junjie Shang, Morris Siu Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee: VISOLE: An Example of Hybrid Learning. ICHL 2008: 348-358
75	EE	Jimmy Ho-Man Lee, C. F. K. Siu: Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) 2008: 291-298
74	EE	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
73	EE	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
72	EE	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 Reality 12(1): 17-25 (2008)
2007
71	EE	Yat Chiu Law, Jimmy Ho-Man Lee, M. H. C. Woo: A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. Australian Conference on Artificial Intelligence 2007: 191-201
70	EE	Chiu Wo Choi, Jimmy Ho-Man Lee: Solving the Salinity Control Problem in a Potable Water System. CP 2007: 33-48
69	EE	Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip: Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437
68	EE	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
67	EE	Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): (2007)
66	EE	Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith: Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Constraints 12(4): 469-505 (2007)
65	EE	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)
2006
64		J. H. M. Lee, C. F. K. Siu: Weighted Constraint Satisfaction with Set Variables. AAAI 2006
63	EE	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
62	EE	Yat Chiu Law, Jimmy Ho-Man Lee, M. H. C. Woo: Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling. Australian Conference on Artificial Intelligence 2006: 59-68
61	EE	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
60	EE	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
59	EE	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
58		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
57	EE	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
56		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
55		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
54	EE	Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT CoRR abs/cs/0607071: (2006)
2005
53		Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee: Design Strategies and Principles in VISOLE. ICCE 2005: 879-882
52	EE	Chiu Wo Choi, Jimmy Ho-Man Lee: Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI 2005: 104-108
51	EE	Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee: Guided Complete Search for Nurse Rostering Problem. ICTAI 2005: 706-707
50	EE	Yat Chiu Law, Jimmy Ho-Man Lee: Breaking value symmetries in matrix models using channeling constraints. SAC 2005: 371-376
2004
49	EE	Yat Chiu Law, Jimmy Ho-Man Lee: Global Constraints for Integer and Set Value Precedence. CP 2004: 362-376
48	EE	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
47	EE	Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
46	EE	Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling CoRR abs/cs/0412026: (2004)
2003
45	EE	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
44	EE	Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
43	EE	Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy in Redundant Modelling. CP 2003: 229-243
42		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
41		Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369
40		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371
39	EE	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)
38	EE	Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung, Nicholas R. Jennings: Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Fuzzy Sets and Systems 136(2): 151-188 (2003)
2002
37		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
36		Yat Chiu Law, Jimmy Ho-Man Lee: Model Induction: A New Source of CSP Model Redundancy. AAAI/IAAI 2002: 54-
35	EE	Yat Chiu Law, Jimmy Ho-Man Lee: Algebraic Properties of CSP Model Operators. CP 2002: 750-754
34	EE	Jimmy Ho-Man Lee, Lei Zhao: A Real-Time Agent Architecture: Design, Implementation and Evaluation. PRIMA 2002: 18-32
33		C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung: A Constraint-Based Interactive Train Rescheduling Tool. Constraints 7(2): 167-198 (2002)
32	EE	Chong-Kan Chiu, Jimmy Ho-Man Lee: Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliable Computing 8(2): 139-174 (2002)
2001
31	EE	Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/prioritized compensatory aggregation. EUSFLAT Conf. 2001: 149-155
30		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE 2001: 1171-1174
29		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE 2001: 1175-1178
2000
28		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
27	EE	Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS 2000: 409-410
26		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI 2000: 795
25	EE	Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000)
1999
24		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)
23		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 4(2): 167-192 (1999)
1998
22		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
21	EE	R. W. L. Kam, Jimmy Ho-Man Lee: Fuzzifying the Constraint Hierarchies Framework. CP 1998: 280-294
20	EE	T. K. Lee, Philip Heng Wai Leong, K. H. Lee, K. T. Chan, S. K. 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
19		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)
1997
18		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)
17		B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu: A nurse rostering system using constraint programming and redundant modeling. IEEE Transactions on Information Technology in Biomedicine 1(1): 44-54 (1997)
1996
16		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
15		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
14		Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won: Towards a More Efficient Stochastic Constraint Solver. CP 1996: 338-352
13		B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu: Speeding Up Constraint Propagation By Redundant Modeling. CP 1996: 91-103
12		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
11		J. H. M. Lee, P. K. C. Pun: An Overview of the OLI Multiparadigm Programming Language and Its Semantics. OOIS 1996: 79-
10	EE	Jimmy Ho-Man Lee, Ho-fung Leung: Incremental querying in the concurrent CLP language IFD-Constraint Pandora. SAC 1996: 387-392
1995
9		C. K. Chiu, J. H. M. Lee: Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. ICLP 1995: 17-31
1994
8		J. H. M. Lee, T. W. Lee: A WAM-Based Abstract Machine for Interval Constraint Logic Programming. ICTAI 1994: 122-128
7		J. H. M. Lee, V. W. L. Tam: Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. ICTAI 1994: 446-452
6	EE	Jimmy Ho-Man Lee, Ho-fung Leung: IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. SAC 1994: 405-409
5		C. K. Chiu, Jimmy Ho-Man Lee: Towards Practical Interval Constraint Solving in Logic Programming. SLP 1994: 109-123
4		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
1993
3		Jimmy Ho-Man Lee, Maarten H. van Emden: Interval Computation as Deduction in CHIP. J. Log. Program. 16(3): 255-276 (1993)
1992
2		Jimmy Ho-Man Lee, Maarten H. van Emden: Adapting CLP to Floating-Point Arithmetic. FGCS 1992: 996-1003
1988
1		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

1	Stefano Bistarelli	[42] [45]
2	K. T. Chan	[20]
3	Kam Tong Chan	[73]
4	Kuan-Ta Chen	[74]
5	Ling-Jyh Chen	[74]
6	Weiqin Chen	[77]
7	B. M. W. Cheng	[12] [13] [17] [23]
8	Chi Kan Cheng	[44]
9	Kenil C. K. Cheng	[41]
10	Mantis H. M. Cheng	[1]
11	Kevin K. F. Cheung	[56] [59] [72]
12	C. K. Chiu	[5] [9] [15] [19] [33]
13	Chong-Kan Chiu	[32]
14	Chiu Wo Choi	[40] [43] [46] [47] [52] [63] [67] [70]
15	Kenneth M. F. Choi	[23] [25]
16	C. M. Chou	[15] [33]
17	H. W. Chun	[48]
18	Philippe Codognet	[42] [45]
19	Maarten H. van Emden	[1] [2] [3]
20	Hai Fang	[37] [54] [65]
21	Spencer K. L. Fung	[48] [51] [58]
22	Warwick Harvey	[47] [63]
23	Kin Chuen Hui	[42] [45]
24	S. K. Hui	[20]
25	Nicholas R. Jennings (Nick R. Jennings)	[38] [39]
26	Morris Siu Yung Jong	[55] [56] [57] [60] [68] [72] [76] [77]
27	R. W. L. Kam	[21]
28	Y. Kilani	[37] [54] [65]
29	Irwin King	[73] [74]
30	Huk-Yuen Law	[55] [60] [61]
31	Yat Chiu Law	[35] [36] [49] [50] [62] [66] [69] [71]
32	Fong Lok Lee	[53] [55] [56] [57] [59] [60] [61] [68] [72] [76]
33	Fong-lok Lee	[77]
34	K. H. Lee	[20]
35	T. K. Lee	[20]
36	T. W. Lee	[8]
37	Philip Heng Wai Leong	[20]
38	Ho-fung Leung (Ho-Fung Leung)	[6] [10] [14] [15] [16] [22] [24] [26] [27] [28] [29] [30] [31] [33] [38] [39] [48] [51] [58]
39	J. C. K. Leung	[4]
40	Y. W. Leung	[15] [33]
41	Chien-Wei Lin	[74]
42	M. F. Lo	[20]
43	Eric T. H. Luk	[56] [59] [72]
44	Xudong Luo	[26] [27] [28] [29] [30] [31] [38] [39]
45	P. K. C. Pun	[11] [18]
46	Nigel Shadbolt (Nigel R. Shadbolt)	[39]
47	Junjie Shang	[53] [55] [56] [57] [60] [68] [72] [76]
48	C. F. K. Siu	[64] [75]
49	Barbara M. Smith	[66]
50	Peter J. Stuckey	[16] [25] [37] [40] [41] [43] [44] [46] [47] [54] [63] [65] [67]
51	V. W. L. Tam	[7] [16]
52	Alex W. C. Tse	[77]
53	Toby Walsh	[69]
54	L. Wang	[61]
55	Wei Wei	[73]
56	Hon-Wing Won	[14] [16] [22]
57	C. C. K. Wong	[4]
58	Marti K. H. Wong	[56] [59] [61] [72]
59	M. H. C. Woo	[62] [71]
60	J. C. K. Wu	[12] [13] [17] [23]
61	H. K. Yeung	[20]
62	Justin Yip (J. Y. K. Yip)	[69]
63	Lei Zhao	[34]
64	Denny J. Zheng	[48]
65	Yuxia Zhou	[77]

Colors in the list of coauthors