Manh Thang Nguyen

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 2

Top Topics

Clustering Method

Information Retrieval

Classification Accuracy

Top Venues

Expert Syst. Appl.

Publications

Viet-Ngu Hoang, Kien Nguyen Thanh, Manh Thang Nguyen, Andrea Blake
Unlocking visual data to enhance the accuracy of AI-enabled mass valuation of urban houses: An Australian city case study. Expert Syst. Appl. 255 (2024)
Manh Thang Nguyen, Quoc Khanh Dang, Young Soo Suh, Youngjoon Chee
A method for estimating text neck while walking using a 3-axis accelerometer. BSN (2017)
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. Theory Pract. Log. Program. 11 (1) (2011)
Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen
The Dependency Triple Framework for Termination of Logic Programs. LOPSTR (2009)
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs CoRR (2009)
Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye
Termination Analysis of Logic Programs Based on Dependency Graphs. LOPSTR (2007)
Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik
Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures (2007)
Manh Thang Nguyen, Danny De Schreye
Polytool: Proving Termination Automatically Based on Polynomial Interpretations. LOPSTR (2006)
Manh Thang Nguyen, Danny De Schreye
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. ICLP (2005)