( en | de | ru )

 

Disambiguierung von "Mora, Federico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Answering Multiple Questions on a Topic From Heterogeneous Resources.

, , , , , , , , , , und . TREC, Volume 500-261 von NIST Special Publication, National Institute of Standards and Technology (NIST), (2004)

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.

Izidor Carlos Mora Mora

Erwin Mora

Pawel Mora

Ahmed Mora

Alejandro Mora

 

Weitere Publikationen von Autoren mit dem selben Namen

Pollen Classification Based on Geometrical, Descriptors and Colour Features Using Decorrelation Stretching Method., , , , , , und . EANN/AIAI (2), Volume 364 von IFIP Advances in Information and Communication Technology, Seite 342-349. Springer, (2011)Integrating Web-based and Corpus-based Techniques for Question Answering., , , , , , , , und . TREC, Volume 500-255 von NIST Special Publication, Seite 426-435. National Institute of Standards and Technology (NIST), (2003)Z3str4: A Multi-armed String Solver., , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2021)Message Chains for Distributed System Verification., , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 2224-2250 (Oktober 2023)Verification by Gambling on Program Slices., , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 266-282. Springer, (2021)MedleySolver: Online SMT Algorithm Selection., , , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 453-470. Springer, (2021)StringFuzz: A Fuzzer for String Solvers., , , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 45-51. Springer, (2018)BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning., , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 103-121. Springer, (2021)An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes., , und . AAAI, Seite 8099-8107. AAAI Press, (2024)UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis., , , , , , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 538-551. Springer, (2022)