Mantis H. M. Cheng

Publication Activity (10 Years)

Years Active: 1988-2018
Publications (10 Years): 1

Top Topics

Energy Consumption

Robotic Systems

Camera Calibration

Top Venues

Ad Hoc Sens. Wirel. Networks

Publications

Ruochun Jin, Kui Wu, Yong Dou, Mantis H. M. Cheng
SpinMag: A New Fingerprinting Method for Robot Indoor Localization with Geomagnetic Field. Ad Hoc Sens. Wirel. Networks 42 (3-4) (2018)
Anthony J. Howe, Mantis H. M. Cheng
Client Migration in a Continuous Data Network. DCW (2002)
Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden
A Method for Implementing Equational Theories as Logic Programs. ICLP (1995)
Panos Rondogiannis, Mantis H. M. Cheng
Petri-Net-Based Deadlock Analysis of Process Algebra Programs. Sci. Comput. Program. 23 (1) (1994)
Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden
Compositional Operational Semantics for Prolog Programs. New Gener. Comput. 10 (3) (1992)
Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards
On Warren's Method for Functional Programming in Logic. ICLP (1990)
Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng
An application of L systems to local microcode synthesis. MICRO (1990)
Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee
Tables as a User Interface for Logic Programs. FGCS (1988)
Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper
Complete Sets of Frontiers in Logic-Based Program Transformation. META (1988)