Publications
Filters: First Letter Of Keyword is W [Clear All Filters]
Mathbar. 2011. Available at: http://www.grammaticalframework.org/demos/minibar/mathbar.html.Array
.
.
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
.
Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
.
Toward multilingual mechanized mathematics assistants EACA 2012 (Proceedings). 2012:163–166.Array
.
WP6 - review presentation 2011. 2011.Array Download: wp6-y1.pdf (330.05 KB)
.
Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
.
State of the WP6 at the 3d progress meeting. Submitted.Array Download: wp6-3pm.pdf (84.5 KB)
.
A grammar-based approach to multilingual mathematics. 2013;5th International Workshop on Mathematical e-Learning. Available at: https://sites.google.com/site/5emath2013madrid/.Array Download: eMath5Madrid.pdf (492.67 KB)
.
Statistical and Robust Translation - WP5. 2010.Array Download: WP5_set11.pdf (338.59 KB)
.
Statistical and Robust Translation - WP5 - Sept 2012. 2012.Array Download: WP5_sept12.pdf (436.21 KB)
.
WP5 - review presentation 2011. 2011.Array Download: WP5_mar11.pdf (452.4 KB)
.
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)
Online Patent Translation Demo. 2013. Available at: http://nlp.lsi.upc.edu/molto .Array
.
SMT within MOLTO’s hybrid translation system. 2011.Array Download: patsUseCase_SMT.pdf (478.41 KB)
.
Description of the final collection of corpora. 2011.Array Download: D.5.1.pdf (414.09 KB)
.
WP5 Statistical and Robust Translation. 2012.Array Download: WP5_mar12.pdf (417.41 KB)
.
Statistical and robust translation in MOLTO - Mar2012. 2012.Array Download: robustSMT.pdf (533.51 KB)
.
Towards a RB-SMT Hybrid System for Translating Patent Claims - Results and Perspectives. Gothenburg, Sweden; Submitted.Array Download: 2011-July-HybridMT-UGOT-report.pdf (169.01 KB)
.
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)
.
Robust Estimation of Feature Weights in Statistical Machine Translation. In: 14th Annual Conference of the European Association for Machine Translation,EAMT-2010. 14th Annual Conference of the European Association for Machine Translation,EAMT-2010.; 2010.Array Download: EAMT2010-EM.pdf (188.23 KB)
.
WP5: Statistical and Robust Translation (1st meeting, Sept.2010). Submitted.Array Download: WP5_set10.pdf (425.73 KB)
.
Deep evaluation of hybrid architectures: simple metrics correlated with human judgments. In: International Workshop on Using Linguistic Information for Hybrid Machine Translation. International Workshop on Using Linguistic Information for Hybrid Machine Translation. Barcelona, Spain; 2011:50-57.Array Download: LIHMT2011_cameraReady.pdf (183.94 KB)
.
Anon. Description and evaluation of the combination prototypes. 2012.Array Download: D.5.2.pdf (298.62 KB)
WP4 Current Status - M30. 2012.Array Download: WP4-status-Ontotext.pdf (272.23 KB)
.