Hantao Zhang

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 15

Top Topics

Polyp Detection

Conditional Expectation

Top Venues

J. Autom. Reason.

Publications

Xiaoting Li, Shouhong Wan, Hantao Zhang, Peiquan Jin
A Detail-Guided Multi-source Fusion Network for Remote Sensing Object Detection. MMM (1) (2024)
Zachary Robertson, Hantao Zhang, Sanmi Koyejo
Cooperative Inverse Decision Theory for Uncertain Preferences. AISTATS (2023)
Yi Liu, Xiaoyan Liu, Hantao Zhang, Junlin Liu, Chaofan Shan, Yinglu Guo, Xun Gong, Min Tang
Editorial: Artificial intelligence in digital pathology image analysis. Frontiers Bioinform. 3 (2023)
Hantao Zhang, Weidong Guo, Chenyang Qiu, Shouhong Wan, Bingbing Zou, Wanqin Wang, Peiquan Jin
CARE: A Large Scale CT Image Dataset and Clinical Applicable Benchmark Model for Rectal Cancer Segmentation. CoRR (2023)
Hantao Zhang, Shouhong Wan, Weidong Guo, Peiquan Jin, Mingguang Zheng
HOD: Human-Object Decoupling Network for HOI Detection. ICME (2023)
Hantao Zhang, Risheng Xie, Shouhong Wan, Peiquan Jin
Decoupling MIL Transformer-based Network for Weakly Supervised Polyp Detection. BIBM (2023)
Hantao Zhang, Baoluo Meng, Yiwen Liang
Sort race. Softw. Pract. Exp. 52 (8) (2022)
Hantao Zhang, Wengang Zhou, Houqiang Li
Contextual Adversarial Attacks For Object Detection. ICME (2020)
Jing Zhang, Hantao Zhang, Baolin Song, Songlin Xie, Zhigang Liu
A New Active Control Strategy for Pantograph in High-Speed Electrified Railways Based on Multi-Objective Robust Control. IEEE Access 7 (2019)
Cheng Zhou, Lieyun Ding, Ying Zhou, Hantao Zhang, Miroslaw J. Skibniewski
Hybrid Support Vector Machine Optimization Model for Prediction of Energy Consumption of Cutter Head Drives in Shield Tunneling. J. Comput. Civ. Eng. 33 (3) (2019)
Hantao Zhang, Cong Shen
Best Arm Identification for Both Stochastic and Adversarial Multi-armed Bandits. ITW (2018)
Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR (2018)
Hantao Zhang, Baoluo Meng, Yiwen Liang
Sort Race. CoRR (2016)
Hantao Zhang, Stanley Ziewacz
. Ars Comb. 128 (2016)
Hantao Zhang
An Experiment with Satisfiability Modulo SAT. J. Autom. Reason. 56 (2) (2016)
Yong Zhang, Kejun Chen, Nanyuan Cao, Hantao Zhang
Strongly symmetric self-orthogonal diagonal Latin squares and Yang Hui type magic squares. Discret. Math. 328 (2014)
Hantao Zhang
r-self-orthogonal Latin squares. Discret. Math. 313 (17) (2013)
Hantao Zhang, Jian Zhang
MACE4 and SEM: A Comparison of Finite Model Generators. Automated Reasoning and Mathematics (2013)
Frank E. Bennett, Hantao Zhang
Quasigroups satisfying Stein's third law with a specified number of idempotents. Discret. Math. 312 (24) (2012)
Frank E. Bennett, Hantao Zhang
Schröder quasigroups with a specified number of idempotents. Discret. Math. 312 (5) (2012)
Frank E. Bennett, Hantao Zhang
. Australas. J Comb. 54 (2012)
James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang
Constraint processing in relational database systems: from theory to implementation. SAC (2010)
Sebastien Siva, James J. Lu, Hantao Zhang
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). ICLP (2008)
Yunqing Xu, Yanxun Chang, Gennian Ge, Hantao Zhang
. Discret. Math. 308 (22) (2008)
R. Julian R. Abel, Frank E. Bennett, Hantao Zhang
. Discret. Math. 308 (22) (2008)
Hantao Zhang
A Complete Random Jump Strategy with Guiding Paths. SAT (2006)
Haiou Shen, Hantao Zhang
Another Complete Local Search Method for SAT. LPAR (2005)
Haiou Shen, Hantao Zhang
Improving exact algorithms for MAX-2-SAT. Ann. Math. Artif. Intell. 44 (4) (2005)
Zhuo Huang, Hantao Zhang, Jian Zhang
Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. SAT (2004)
Haiou Shen, Hantao Zhang
Improving Exact Algorithms for MAX-2-SAT. AI&M (2004)
Frank E. Bennett, Hantao Zhang
Latin Squares with Self-Orthogonal Conjugates. Discret. Math. 284 (1-3) (2004)
Jian Zhang, Hantao Zhang
Extending Finite Model Searching with Congruence Closure Computation. AISC (2004)
Hantao Zhang, Dapeng Li, Haiou Shen
A SAT Based Scheduler for Tournament Schedules. SAT (2004)
Haiou Shen, Hantao Zhang
Study of Lower Bound Functions for MAX-2-SAT. AAAI (2004)
Hantao Zhang, Haiou Shen, Felip Manyà
Exact Algorithms for MAX-SAT. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Lie Zhu, Hantao Zhang
Completing the spectrum of r-orthogonal Latin squares. Discret. Math. 268 (1-3) (2003)
Peter Baumgartner, Hantao Zhang
Preface to First order theorem proving. J. Symb. Comput. 36 (1-2) (2003)
Frank E. Bennett, Beiliang Du, Hantao Zhang
Existence of self-orthogonal diagonal Latin squares with a missing subsquare. Discret. Math. 261 (1-3) (2003)
Haiou Shen, Hantao Zhang
An Empirical Study of MAX-2-SAT Phase Transitions. Electron. Notes Discret. Math. 16 (2003)
Qiaoming Han, Yinyu Ye, Hantao Zhang, Jiawei Zhang
On approximation of max-vertex-cover. Eur. J. Oper. Res. 143 (2) (2002)
Hantao Zhang
A Randomization Strategy for Combinatorial Search. AI&M (2002)
Yungqing Xu, Hantao Zhang, Lie Zhu
. Discret. Math. 250 (1-3) (2002)
Lie Zhu, Hantao Zhang
-orthogonal latin squares. Discret. Math. 238 (1-3) (2001)
R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu
Steiner pentagon covering designs. Discret. Math. 231 (1-3) (2001)
R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu
. Ars Comb. 55 (2000)
Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang
Workshop: Model Computation - Principles, Algorithms, Applications. CADE (2000)
Hantao Zhang, Mark E. Stickel
Implementing the Davis-Putnam Method. J. Autom. Reason. 24 (1/2) (2000)
R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu
A few more incomplete self-orthogonal Latin squares and related designs. Australas. J Comb. 21 (2000)
Frank E. Bennett, Jianxing Yin, Hantao Zhang, R. Julian R. Abel
Perfect Mendelsohn Packing Designs with Block Size Five. Des. Codes Cryptogr. 14 (1) (1998)
R. Julian R. Abel, Hantao Zhang
Direct constructions for certain types of HMOLS. Discret. Math. 181 (1-3) (1998)
R. Julian R. Abel, Charles J. Colbourn, Jianxing Yin, Hantao Zhang
Existence of Incomplete Transversal Designs with Block Size Five and Any Index lambda. Des. Codes Cryptogr. 10 (3) (1997)
Hantao Zhang
SATO: An Efficient Propositional Prover. CADE (1997)
Jian Zhang, Hantao Zhang
System Description: Generating Models by SEM. CADE (1996)
Frank E. Bennett, Hantao Zhang, Lie Zhu
Self-Orthogonal Mendelsohn Triple Systems. J. Comb. Theory, Ser. A 73 (2) (1996)
Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. J. Symb. Comput. 21 (4) (1996)
Jian Zhang, Hantao Zhang
Combining Local Search and Backtracking Techniques for Constraint Satisfaction. AAAI/IAAI, Vol. 1 (1996)
Deepak Kapur, G. Sivakumar, Hantao Zhang
A Path Ordering for Proving Termination of AC Rewrite Systems. J. Autom. Reason. 14 (2) (1995)
Jian Zhang, Hantao Zhang
Constraint Propagation in Model Generation. CP (1995)
Jian Zhang, Hantao Zhang
SEM: a System for Enumerating Models. IJCAI (1995)
Hantao Zhang
Contextual Rewriting in Automated Reasoning. Fundam. Informaticae 24 (1/2) (1995)
Mark E. Stickel, Hantao Zhang
Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results. RTA (1995)
Hantao Zhang
A New Method for the Boolean Ring Based Theorem Proving. J. Symb. Comput. 17 (2) (1994)
Sun Kim, Hantao Zhang
ModGen: Theorem Proving by Model Generation. AAAI (1994)
Hantao Zhang, Gary Xin Hua
Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. Ann. Math. Artif. Intell. 8 (3-4) (1993)
Hantao Zhang
Automated Proofs of Equality Problems in Overbeek's Competition. J. Autom. Reason. 11 (3) (1993)
Hantao Zhang
A Case Study of Completion Modulo Distributivity and Abelian Groups. RTA (1993)
Xin Hua, Hantao Zhang
Formal Semantics of VHDL for Verification of Circuit Designs. ICCD (1993)
Hantao Zhang, Xin Hua
Proving the Chinese Remainder Theorem by the Cover Set Induction. CADE (1992)
Hantao Zhang
Herky: High Performance Rewriting in RRL. CADE (1992)
Xin Hua, Hantao Zhang
FRI: Failure-Resistant Induction in RRL. CADE (1992)
Hantao Zhang
Implementing Contextual Rewriting. CTRS (1992)
Xin Hua, Hantao Zhang
Axiomatic semantics of a hardware specification language. Great Lakes Symposium on VLSI (1992)
Hantao Zhang
Proving Group Isomorphism Theorems (Extended Abstract). CTRS (1992)
Deepak Kapur, Hantao Zhang
A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. Computational Logic - Essays in Honor of Alan Robinson (1991)
Deepak Kapur, Paliath Narendran, Hantao Zhang
Automating Inductionless Induction Using Test Sets. J. Symb. Comput. 11 (1/2) (1991)
Hantao Zhang, Angshuman Guha, Xin Hua
Using Algebraic Specification in Floyd-Hoare Assertions. AMAST (1991)
Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, Hantao Zhang
Sufficient-Completeness, Ground-Reducibility and their Complexity. Acta Informatica 28 (4) (1991)
Hantao Zhang
Automated Proof of Ring Commutativity Problems by Algebraic Methods. J. Symb. Comput. 9 (4) (1990)
Hantao Zhang, Deepak Kapur
Unnecessary Inferences in Associative-Commutative Completion Procedures. Math. Syst. Theory 23 (3) (1990)
Deepak Kapur, G. Sivakumar, Hantao Zhang
A New Method for Proving Termination of AC-Rewrite Systems. FSTTCS (1990)
Hantao Zhang
Approximate Reasoning in Strength Logic. ISMVL (1990)
Hantao Zhang, Deepak Kapur
Consider Only General Superpositions in Completion Procedures. RTA (1989)
Deepak Kapur, Hantao Zhang
An Overview of Rewrite Rule Laboratory (RRL). RTA (1989)
Hantao Zhang, Deepak Kapur
First-Order Theorem Proving Using Conditional Rewrite Rules. CADE (1988)
Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
Opening the AC-Unification Race. J. Autom. Reason. 4 (4) (1988)
Deepak Kapur, Hantao Zhang
RRL: A Rewrite Rule Laboratory. CADE (1988)
Hantao Zhang, Deepak Kapur, Mukkai S. Krishnamoorthy
A Mechanizable Induction Principle for Equational Specifications. CADE (1988)
Deepak Kapur, Hantao Zhang
Proving Equivalence of Different Axiomatizations of Free Groups. J. Autom. Reason. 4 (3) (1988)
Deepak Kapur, Paliath Narendran, Hantao Zhang
On Sufficient-Completeness and Related Properties of Term Rewriting Systems. Acta Informatica 24 (4) (1987)
Deepak Kapur, G. Sivakumar, Hantao Zhang
RRL: A Rewrite Rule Laboratory. CADE (1986)
Deepak Kapur, Paliath Narendran, Hantao Zhang
Complexity of Sufficient-Completeness. FSTTCS (1986)
Deepak Kapur, Paliath Narendran, Hantao Zhang
Proof by Induction Using Test Sets. CADE (1986)
Hantao Zhang, Jean-Luc Rémy
Contextual Rewriting. RTA (1985)
Jean-Luc Rémy, Hantao Zhang
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI (1984)