Jimmy Ho-Man Lee

J. H. M. Lee

	2012
99		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. (JAIR) 43: 257-292 (2012)
	2011
98		Jimmy Ho-Man Lee: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings Springer 2011
97		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
96		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
95		J. H. M. Lee, Y. W. Shum: Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction. ICTAI 2011: 305-312
94		Jimmy Ho-Man Lee, Terrence W. K. Mak, Justin Yip: Weighted Constraint Satisfaction Problems with Min-Max Quantifiers. ICTAI 2011: 769-776
93		Arnaud Lallouet, Yat-Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu: Constraint Programming on Infinite Data Streams. IJCAI 2011: 597-604
92		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
91		Jimmy Ho-Man Lee, Ka Lun Leung: A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. AAAI 2010
90		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
89		Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo: Redundant modeling in permutation weighted constraint satisfaction problems. Constraints 15(3): 354-403 (2010)
88		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. Research and Practice in Technology Enhanced Learning 5(3): 275-294 (2010)
87		Morris S. Y. Jong, Junjie Shang, Fong-lok Lee, Jimmy Ho-Man Lee: An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment. TLT 3(4): 307-318 (2010)
	2009
86		Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo: Variety Reasoning for Multiset Constraint Propagation. IJCAI 2009: 552-558
85		Jimmy Ho-Man Lee, Ka Lun Leung: Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. IJCAI 2009: 559-565
84		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)
	2008
83		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
82		Junjie Shang, Morris Siu Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee: VISOLE: An Example of Hybrid Learning. ICHL 2008: 348-358
81		Jimmy Ho-Man Lee, C. F. K. Siu: Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) 2008: 291-298
80		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
79		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
78		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
77		Morris Siu Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee: Harnessing Computer Games in Education. IJDET 6(1): 1-9 (2008)
76		Morris Siu Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee: Harnessing Computer Games in Education. IJWLTT 3(3): 54-61 (2008)
75		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
74		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
73		Chiu Wo Choi, Jimmy Ho-Man Lee: Solving the Salinity Control Problem in a Potable Water System. CP 2007: 33-48
72		Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip: Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437
71		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
70		Wei Wei, Irwin King, J. H. M. Lee: Bibliographic Attributes Extraction with Layer-upon-Layer Tagging. ICDAR 2007: 804-808
69		Wei Wei, Jimmy Ho-Man Lee, Irwin King: Measuring credibility of users in an e-learning environment. WWW 2007: 1279-1280
68		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): (2007)
67		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)
66		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
65		J. H. M. Lee, C. F. K. Siu: Weighted Constraint Satisfaction with Set Variables. AAAI 2006: 80-85
64		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
63		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
62		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
61		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
60		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
59		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
58		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
57		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
56		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
55		Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT CoRR abs/cs/0607071: (2006)
	2005
54		Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee: Design Strategies and Principles in VISOLE. ICCE 2005: 879-882
53		Chiu Wo Choi, Jimmy Ho-Man Lee: Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI 2005: 104-108
52		Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee: Guided Complete Search for Nurse Rostering Problem. ICTAI 2005: 706-707
51		Yat Chiu Law, Jimmy Ho-Man Lee: Breaking value symmetries in matrix models using channeling constraints. SAC 2005: 371-376
	2004
50		Yat Chiu Law, Jimmy Ho-Man Lee: Global Constraints for Integer and Set Value Precedence. CP 2004: 362-376
49		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
48		Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
47		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling CoRR abs/cs/0412026: (2004)
	2003
46		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
45		Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
44		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy in Redundant Modelling. CP 2003: 229-243
43		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
42		Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369
41		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371
40		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)
39		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
38		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
37		Yat Chiu Law, Jimmy Ho-Man Lee: Model Induction: A New Source of CSP Model Redundancy. AAAI/IAAI 2002: 54-
36		Yat Chiu Law, Jimmy Ho-Man Lee: Algebraic Properties of CSP Model Operators. CP 2002: 750-754
35		Jimmy Ho-Man Lee, Lei Zhao: A Real-Time Agent Architecture: Design, Implementation and Evaluation. PRIMA 2002: 18-32
34		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)
33		Chong-Kan Chiu, Jimmy Ho-Man Lee: Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliable Computing 8(2): 139-174 (2002)
	2001
32		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/prioritized compensatory aggregation. EUSFLAT Conf. 2001: 149-155
31		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE 2001: 1171-1174
30		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE 2001: 1175-1178
	2000
29		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
28		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS 2000: 409-410
27		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
26		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI 2000: 795
25		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		R. W. L. Kam, Jimmy Ho-Man Lee: Fuzzifying the Constraint Hierarchies Framework. CP 1998: 280-294
20		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		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		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	[43] [46] [84]
2	K. T. Chan	[20]
3	Kam Tong Chan	[78]
4	Kuan-Ta Chen	[79] [80]
5	Ling-Jyh Chen	[79] [80]
6	Weiqin Chen	[83] [88]
7	B. M. W. Cheng	[12] [13] [17] [23]
8	Chi Kan Cheng	[45]
9	Kenil C. K. Cheng	[42]
10	Mantis H. M. Cheng	[1]
11	Kevin K. F. Cheung	[57] [60] [75]
12	C. K. Chiu	[5] [9] [15] [19] [34]
13	Chong-Kan Chiu	[33]
14	Chiu Wo Choi	[41] [44] [47] [48] [53] [64] [68] [73]
15	Kenneth M. F. Choi	[23] [25]
16	C. M. Chou	[15] [34]
17	H. W. Chun	[49]
18	Philippe Codognet	[43] [46] [84]
19	Maarten H. van Emden	[1] [2] [3]
20	Hai Fang	[38] [55] [66]
21	Spencer K. L. Fung	[49] [52] [59]
22	Warwick Harvey	[48] [64]
23	H. K. C. Hui	[84]
24	Kin Chuen Hui	[43] [46]
25	S. K. Hui	[20]
26	Nicholas R. Jennings (Nick R. Jennings)	[39] [40]
27	Morris Siu Yung Jong (Morris S. Y. Jong)	[56] [57] [58] [61] [71] [75] [76] [77] [82] [83] [87] [88] [90] [96]
28	R. W. L. Kam	[21]
29	Y. Kilani	[38] [55] [66]
30	Irwin King	[69] [70] [78] [79] [80]
31	Arnaud Lallouet	[93]
32	Huk-Yuen Law	[56] [61] [62]
33	Yat Chiu Law	[36] [37] [50] [51] [63] [67] [72] [74] [86] [89] [92] [97]
34	Yat-Chiu Law	[93]
35	Fong Lok Lee (Fong-lok Lee)	[54] [56] [57] [58] [60] [61] [62] [71] [75] [76] [77] [82] [83] [87] [88] [90] [96]
36	K. H. Lee	[20]
37	T. K. Lee	[20]
38	T. W. Lee	[8]
39	Philip Heng Wai Leong	[20]
40	Ho-fung Leung (Ho-Fung Leung)	[6] [10] [14] [15] [16] [22] [24] [26] [27] [28] [29] [30] [31] [32] [34] [39] [40] [49] [52] [59]
41	J. C. K. Leung	[4]
42	Ka Lun Leung	[85] [91] [99]
43	Y. W. Leung	[15] [34]
44	Chien-Wei Lin	[79]
45	M. F. Lo	[20]
46	Eric T. H. Luk	[57] [60] [75]
47	Xudong Luo	[26] [27] [28] [29] [30] [31] [32] [39] [40]
48	Terrence W. K. Mak	[94]
49	P. K. C. Pun	[11] [18]
50	Nigel Shadbolt (Nigel R. Shadbolt)	[40]
51	Junjie Shang	[54] [56] [57] [58] [61] [71] [75] [76] [77] [82] [87] [90] [96]
52	Y. W. Shum	[95]
53	C. F. K. Siu	[65] [81]
54	Charles F. K. Siu	[93]
55	Barbara M. Smith	[67]
56	Peter J. Stuckey	[16] [25] [38] [41] [42] [44] [45] [47] [48] [55] [64] [66] [68]
57	V. W. L. Tam	[7] [16]
58	Alex W. C. Tse	[83] [88]
59	Toby Walsh	[72] [92] [97]
60	Bo-Chun Wang	[80]
61	L. Wang	[62]
62	Wei Wei	[69] [70] [78]
63	Hon-Wing Won	[14] [16] [22]
64	C. C. K. Wong	[4]
65	Marti K. H. Wong	[57] [60] [62] [75]
66	May H. C. Woo (May Hiu-Chun Woo)	[63] [74] [86] [89] [92] [97]
67	J. C. K. Wu	[12] [13] [17] [23]
68	H. K. Yeung	[20]
69	Justin Yip (J. Y. K. Yip)	[72] [94]
70	Lei Zhao	[35]
71	Denny J. Zheng	[49]
72	Yuxia Zhou	[83]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page