| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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)  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | J. H. M. Lee, Y. W. Shum |
Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Lallouet, Yat-Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu |
Constraint Programming on Infinite Data Streams. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Terrence W. K. Mak, Justin Yip |
Weighted Constraint Satisfaction Problems with Min-Max Quantifiers. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee (eds.) |
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo |
Redundant modeling in permutation weighted constraint satisfaction problems. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Ka Lun Leung |
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo |
Variety Reasoning for Multiset Constraint Propagation. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Ka Lun Leung |
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Morris Siu Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee |
Harnessing Computer Games in Education. |
IJDET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Morris Siu Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee |
Harnessing Computer Games in Education. |
IJWLTT |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
VISOLE, Edutainment, Educational game, Virtual learning environment |
| 1 | Junjie Shang, Morris Siu Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee |
VISOLE: An Example of Hybrid Learning. |
ICHL |
2008 |
DBLP DOI BibTeX RDF |
VISOLE, Educational Game, Blended Learning, Blending Learning, Hybrid Learning |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wei, Kam Tong Chan, Irwin King, Jimmy Ho-Man Lee |
RATE: A Review of Reviewers in a Manuscript Review Process. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, C. F. K. Siu |
Stronger Consistencies in WCSPs with Set Variables. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wei, Irwin King, J. H. M. Lee |
Bibliographic Attributes Extraction with Layer-upon-Layer Tagging. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith |
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. |
Constraints |
2007 |
DBLP DOI BibTeX RDF |
Model redundancy, Constraint satisfaction |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
Local search, Constraint satisfaction, SAT |
| 1 | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
Removing propagation redundant constraints in redundant modeling. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
redundant constraints, redundant modeling, Constraint propagation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wei, Jimmy Ho-Man Lee, Irwin King |
Measuring credibility of users in an e-learning environment. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
author ranking, education platform, HITS algorithm |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiu Wo Choi, Jimmy Ho-Man Lee |
Solving the Salinity Control Problem in a Potable Water System. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip |
Breaking Symmetry of Interchangeable Variables and Values. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey |
Finite Domain Bounds Consistency Revisited. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | J. H. M. Lee, C. F. K. Siu |
Weighted Constraint Satisfaction with Set Variables. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey |
Islands for SAT |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Junjie Shang, Morris Siu Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee |
VISOLE: A New Game-based Situated Learning Paradigm. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee |
Breaking value symmetries in matrix models using channeling constraints. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
CSP, symmetry breaking |
| 1 | Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee |
Design Strategies and Principles in VISOLE. |
ICCE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chiu Wo Choi, Jimmy Ho-Man Lee |
Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee |
Guided Complete Search for Nurse Rostering Problem. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey |
Finite Domain Bounds Consistency Revisited |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
Removing Propagation Redundant Constraints in Redundant Modeling |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee |
Global Constraints for Integer and Set Value Precedence. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
Efficient Representation of Adhoc Constraints. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
Propagation Redundancy for Permutation Channels. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
Box Constraint Collections for Adhoc Constraints. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
Propagation Redundancy in Redundant Modelling. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung |
A Constraint-Based Interactive Train Rescheduling Tool. |
Constraints |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong-Kan Chiu, Jimmy Ho-Man Lee |
Efficient Interval Linear Equality Solving in Constraint Logic Programming. |
Reliable Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Lei Zhao |
A Real-Time Agent Architecture: Design, Implementation and Evaluation. |
PRIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey |
Reducing Search Space in Local Search for Constraint Satisfaction. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee |
Model Induction: A New Source of CSP Model Redundancy. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yat Chiu Law, Jimmy Ho-Man Lee |
Algebraic Properties of CSP Model Operators. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee |
A Spectrum of Compensation Aggregation Operators. |
FUZZ-IEEE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee |
Weighted/Prioritised Compensatory Aggregation. |
FUZZ-IEEE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee |
Weighted/prioritized compensatory aggregation. |
EUSFLAT Conf. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
A Lagrangian reconstruction of GENET. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee |
A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee |
A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. |
PRICAI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee |
Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems. |
ISCA Conference on Intelligent Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Ho-fung Leung |
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. |
Comput. Lang. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | C. K. Chiu, J. H. M. Lee |
Extending HCLP with partially ordered hierarchies and composite constraints. |
J. Exp. Theor. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | R. W. L. Kam, Jimmy Ho-Man Lee |
Fuzzifying the Constraint Hierarchies Framework. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | J. H. M. Lee, P. K. C. Pun |
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language. |
Comput. Lang. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | J. H. M. Lee, P. K. C. Pun |
An Overview of the OLI Multiparadigm Programming Language and Its Semantics. |
OOIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Ho-fung Leung |
Incremental querying in the concurrent CLP language IFD-Constraint Pandora. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
concurrent constraint logic programming, incremental execution |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu |
Speeding Up Constraint Propagation By Redundant Modeling. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won |
Towards a More Efficient Stochastic Constraint Solver. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | C. K. Chiu, J. H. M. Lee |
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | J. H. M. Lee, T. W. Lee |
A WAM-Based Abstract Machine for Interval Constraint Logic Programming. |
ICTAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | J. H. M. Lee, V. W. L. Tam |
Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. |
ICTAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Ho-fung Leung |
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. |
SAC |
1994 |
DBLP DOI BibTeX RDF |
concurrent constraint logic programming, incremental execution |
| 1 | C. K. Chiu, Jimmy Ho-Man Lee |
Towards Practical Interval Constraint Solving in Logic Programming. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Maarten H. van Emden |
Interval Computation as Deduction in CHIP. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Maarten H. van Emden |
Adapting CLP to Floating-Point Arithmetic. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee |
Tables as a User Interface for Logic Programs. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")