This paper focuses on an important step in the creation of a system of meaning representation and the development of semantically-annotated parallel corpora, for use in applicatio...
Bonnie J. Dorr, Rebecca J. Passonneau, David Farwe...
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...