Autor der Publikation

Visualization in Mechanical Geometry Theorem Proving.

, , und . SCAI, Volume 28 von Frontiers in Artificial Intelligence and Applications, Seite 478-482. IOS Press, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Prototype Network for Remote Sensing Validation in China., , , , , und . Remote. Sens., 7 (5): 5187-5202 (2015)A Self-Adaptive Object Detection Network for Aerial Images Based on Feature Enhancement., und . IEEE Geosci. Remote. Sens. Lett., (2023)A Nondestructive Conductivity Estimating Method for Saline-Alkali Land Based on Ground Penetrating Radar., , , , , , , und . IEEE Trans. Geosci. Remote. Sens., 58 (4): 2605-2614 (2020)Predicting disease genes based on multi-head attention fusion., , , , , und . BMC Bioinform., 24 (1): 162 (Dezember 2023)The prognostic value and immune landscaps of m6A/m5C-related lncRNAs signature in the low grade glioma., , , , , , , und . BMC Bioinform., 24 (1): 274 (Dezember 2023)Image-Based Scam Detection Method Using an Attention Capsule Network., , , , und . IEEE Access, (2021)FGOR: Flow-Guided Opportunistic Routing for Intrabody Nanonetworks., , , , und . IEEE Internet Things J., 9 (21): 21765-21776 (2022)Driver fatigue detection and human-machine cooperative decision-making for road scenarios., , , , , , und . Multim. Tools Appl., 83 (5): 12487-12518 (Februar 2024)A parallel algorithm for solving the n-queens problem based on inspired computational model., , , , , und . Biosyst., (2015)Machine Learning-Driven Ontological Knowledge Base for Bridge Corrosion Evaluation., , , , und . IEEE Access, (2023)