Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
Post-editing Time as a Measure of Cognitive Effort AMTA 2012 Workshop on Post-editing Technology and Practice (WPTP). 2012:11-20. Available at: http://amta2012.amtaweb.org/AMTA2012Files/html/13/13_paper.pdf.Array
.
Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
.
.
Simple drill library snapshot 2011.Array Download: mgl.tar.gz (974.6 KB)
.
State of the WP6 at the 3d progress meeting. Submitted.Array Download: wp6-3pm.pdf (84.5 KB)
.
Toward multilingual mechanized mathematics assistants EACA 2012 (Proceedings). 2012:163–166.Array
.
Towards a Patents Translation System — Results and Perspectives. 2011. Abstract
Array Download: patents-talk-03.05.pdf (185.11 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)
.
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
.
.
Using GF from Python. Submitted.Array Download: python-gf.pdf (1.67 MB)
.
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)
.
Using GF in multimodal assistants for mathematics. 2012.Array Download: DEIMS_TiddlyWiki.zip (7.09 MB)
.
.
WP6 Case study: mathematics - 2nd year review. 2012.Array Download: report.zip (1.85 KB)
.
WP6 - review presentation 2011. 2011.Array Download: wp6-y1.pdf (330.05 KB)
.