Autor der Publikation

Evaluating Opinion Summarization in Ranking.

, , , und . AIRS, Volume 10648 von Lecture Notes in Computer Science, Seite 222-234. Springer, (2017)

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

Modeling approaches for Silent Attrition prediction in Payment networks., , , , , , und . ICMLA, Seite 409-414. IEEE, (2021)Temporal Debiasing using Adversarial Loss based GNN architecture for Crypto Fraud Detection., , , , und . ICMLA, Seite 391-396. IEEE, (2021)A Wireless Intrusion Detection System for 802.11 WPA3 Networks., , , , , und . COMSNETS, Seite 384-392. IEEE, (2022)Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking., , , und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 124-138. Springer, (2000)A slew rate enhancement technique for operational amplifiers based on a tunable active Gm-based capacitance multiplication circuit., , und . ACM Great Lakes Symposium on VLSI, Seite 273-276. ACM, (2003)An On-Chip Coupling Capacitance Measurement Technique., , und . VLSI Design, Seite 495-499. IEEE Computer Society, (2001)Reconsidering CEGAR: Learning Good Abstractions without Refinement., und . ICCD, Seite 591-598. IEEE Computer Society, (2005)SAT-Based Image Computation with Application in Reachability Analysis., , , und . FMCAD, Volume 1954 von Lecture Notes in Computer Science, Seite 354-371. Springer, (2000)Model Checking: Back and Forth between Hardware and Software., , , und . VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 251-255. Springer, (2005)First steps towards SAT-based formal analog verification., , , , und . ICCAD, Seite 1-8. ACM, (2009)