Publications
WP7, Patents Case Study, 2nd Year Review. 2012.Array Download: WP7-2ndReview.pdf (1.2 MB)
.
The Patents Retrieval Prototype in the MOLTO project. In: WWW2012 Conference. WWW2012 Conference. Lyon, France; 2012.Array Download: patentsretrieval.pdf (397.01 KB)
.
SMT within MOLTO’s hybrid translation system. 2011.Array Download: patsUseCase_SMT.pdf (478.41 KB)
.
Patent MT and Retrieval Prototype. 2012. Available at: http://molto-patents.ontotext.com/. Abstract
Array Download: D72.pdf (1.21 MB)
WP7 - review presentation 2011. 2011.Array Download: WP7_mar11.pdf (553.81 KB)
.
Multilingual Patents Retrieval System. 2011. Available at: http://molto-patents.ontotext.com/. Abstract
Array
.
Patent translation within the MOLTO project. In: Workshop on Patent Translation, MT Summit XIII. 4thth ed. Workshop on Patent Translation, MT Summit XIII.; 2011:70-78.Array Download: patentsMOLTO4.pdf (282.42 KB)
Patent MT and Retrieval Prototype Beta. 2012. Available at: http://molto-patents.ontotext.com/. Abstract
Array Download: D71_final.pdf (1.05 MB)
Online Patent Translation Demo. 2013. Available at: http://nlp.lsi.upc.edu/molto .Array
.
SMT Applied to the Patent Domain. Perspectives of Hybridisation with GF and Rule-based Translation Paradigms. Submitted. Abstract
Array Download: primerAnyWP57.pdf (495.77 KB)
.
Using GF in multimodal assistants for mathematics. 2012.Array Download: DEIMS_TiddlyWiki.zip (7.09 MB)
.
.
.
State of the WP6 at the 3d progress meeting. Submitted.Array Download: wp6-3pm.pdf (84.5 KB)
.
WP6 Case study: mathematics - 2nd year review. 2012.Array Download: report.zip (1.85 KB)
.
Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
.
The GF Mathematics Library. In: Proceedings First Workshop on CTP Components for Educational Software (THedu'11).Vol Electronic Proceedings in Theoretical Computer Science . Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Wrocław, Poland; 2011:102–110. Available at: http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf. Abstract
Array
.
The GF mathematics library. 2011.Array Download: gfmath.pdf (136.56 KB)
.
Using GF in multimodal assistants for mathematics. In: Digitization and E-Inclusion in Mathematics and Science 2012; 2012. Available at: http://www.gaea.jcn.nihon-u.ac.jp/deims12/program.htm. Abstract
Array Download: ArchambaultCaprottiRantaSaludes.pdf (179.15 KB)
.
Translating between Language and Logic: What Is Easy and What is Difficult?. In: CADE-23. Automated Deduction.Vol LNCS/LNAI 6803. CADE-23. Automated Deduction. http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3; 2011:5-25. Available at: http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf.Array
.
Dialog.pgf. 2013. Available at: http://www.molto-project.eu/sites/default/files/web-service/grammars/Dialog.pgf. Abstract
Array Download: Dialog.pgf (72.96 KB)
.
Toward multilingual mechanized mathematics assistants EACA 2012 (Proceedings). 2012:163–166.Array
.
MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
.
.
.