dblp.uni-trier.dewww.uni-trier.de

Jimmy Ho-Man Lee Vis

J. H. M. Lee

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
81EEYat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo: Variety Reasoning for Multiset Constraint Propagation. IJCAI 2009: 552-558
80EEJimmy Ho-Man Lee, Ka Lun Leung: Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. IJCAI 2009: 559-565
2008
79EEMorris 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
78EEJunjie Shang, Morris Siu Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee: VISOLE: An Example of Hybrid Learning. ICHL 2008: 348-358
77EEJimmy Ho-Man Lee, C. F. K. Siu: Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) 2008: 291-298
76EELing-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
75EEChien-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
74EEWei 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
73EEKevin 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
72EEYat 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
71EEChiu Wo Choi, Jimmy Ho-Man Lee: Solving the Salinity Control Problem in a Potable Water System. CP 2007: 33-48
70EEYat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip: Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437
69EEJunjie 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
68EEWei Wei, Jimmy Ho-Man Lee, Irwin King: Measuring credibility of users in an e-learning environment. WWW 2007: 1279-1280
67EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): (2007)
66EEYat 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)
65EEHai 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
63EEChiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58
62EEYat 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
61EEFong 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
60EEMorris 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
59EEEric 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
57EEJunjie 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
54EEHai 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
52EEChiu Wo Choi, Jimmy Ho-Man Lee: Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI 2005: 104-108
51EESpencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee: Guided Complete Search for Nurse Rostering Problem. ICTAI 2005: 706-707
50EEYat Chiu Law, Jimmy Ho-Man Lee: Breaking value symmetries in matrix models using channeling constraints. SAC 2005: 371-376
2004
49EEYat Chiu Law, Jimmy Ho-Man Lee: Global Constraints for Integer and Set Value Precedence. CP 2004: 362-376
48EESpencer 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
47EEChiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
46EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling CoRR abs/cs/0412026: (2004)
2003
45EEStefano 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
44EEChi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
43EEChiu 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
39EEXudong 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)
38EEXudong 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-
35EEYat Chiu Law, Jimmy Ho-Man Lee: Algebraic Properties of CSP Model Operators. CP 2002: 750-754
34EEJimmy 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)
32EEChong-Kan Chiu, Jimmy Ho-Man Lee: Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliable Computing 8(2): 139-174 (2002)
2001
31EEXudong 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
27EEXudong 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
25EEKenneth 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
22EEJimmy 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
21EER. W. L. Kam, Jimmy Ho-Man Lee: Fuzzifying the Constraint Hierarchies Framework. CP 1998: 280-294
20EET. 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-
10EEJimmy 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
6EEJimmy 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)