( en | de | ru )

 

Disambiguation of "Mora, Federico"

Author of the publication

copydeleteadd this publication to your clipboard
Integrating Web-based and Corpus-based Techniques for Question Answering.

, , , , , , , , and . TREC, volume 500-255 of NIST Special Publication, page 426-435. National Institute of Standards and Technology (NIST), (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Izidor Carlos Mora Mora

Erwin Mora

Pawel Mora

Ahmed Mora

Alejandro Mora

 

Other publications of authors with the same name

Pollen Classification Based on Geometrical, Descriptors and Colour Features Using Decorrelation Stretching Method., , , , , , and . EANN/AIAI (2), volume 364 of IFIP Advances in Information and Communication Technology, page 342-349. Springer, (2011)An SMT Solver for Regular Expressions and Linear Arithmetic over String Length., , , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 289-312. Springer, (2021)Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers., , and . SMT, volume 2854 of CEUR Workshop Proceedings, page 61. CEUR-WS.org, (2020)String Theories Involving Regular Membership Predicates: From Practice to Theory and Back., , , , , , and . WORDS, volume 12847 of Lecture Notes in Computer Science, page 50-64. Springer, (2021)Integrating Web-based and Corpus-based Techniques for Question Answering., , , , , , , , and . TREC, volume 500-255 of NIST Special Publication, page 426-435. National Institute of Standards and Technology (NIST), (2003)Z3str4: A Multi-armed String Solver., , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 389-406. Springer, (2021)Synthesis in Uclid5., , , and . CoRR, (2020)UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis., , , , , , , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 538-551. Springer, (2022)BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers., , and . VSTTE, volume 12549 of Lecture Notes in Computer Science, page 68-86. Springer, (2020)Scaling Client-Specific Equivalence Checking via Impact Boundary Search., , , and . ASE, page 734-745. IEEE, (2020)