( en | de | ru )

 

Disambiguierung von "Shen, Da"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.

, und . KR, Seite 67-71. AAAI Press, (2018)

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.

Da Liu

Da Wang

Da He

Da Li

Gürbüz Da

 

Weitere Publikationen von Autoren mit dem selben Namen

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)., und . ICLP (Technical Communications), Volume 64 von OASIcs, Seite 11:1-11:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Significant cycle frequency based feature detection for cognitive radio systems., , , , und . CrownCom, Seite 1-4. IEEE, (2009)MAGINS: Neural Network Inertial Navigation System Corrected by Magnetic Information., , , , , , und . IPCCC, Seite 1-8. IEEE, (2021)A traffic-modeling approach to understanding the QoS correlations in network., , und . ICCT, Seite 697-701. IEEE, (2013)SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs., und . KR, Seite 67-71. AAAI Press, (2018)UltraMotion: High-Precision Ultrasonic Arm Tracking for Real-World Exercises., , , , , , und . IEEE Trans. Mob. Comput., 23 (2): 1846-1862 (Februar 2024)BCE: A Behavior-Learning-Based Crowdedness Estimation Mechanism for Crowdsensing Buses., , , , , und . IEEE Access, (2019)SMT-based Constraint Answer Set Solver EZSMT+., und . CoRR, (2019)Obstacle Avoidance Path Planning for Double Manipulators Based on Improved Artificial Potential Field Method., , , , , , und . ICITEE, Seite 50:1-50:5. ACM, (2019)Benchmarking Language Models for Code Syntax Understanding., , , , und . EMNLP (Findings), Seite 3071-3093. Association for Computational Linguistics, (2022)