Filters








3 Hits in 7.8 sec

Verifying Monadic Second Order Graph Properties with Tree Automata

Bruno Courcelle, Irène Durand
2010 European Lisp Symposium  
Welcome to the third European Lisp Symposium.  ...  is annual event is intended to be the principal European meeting for presentation of novel resear, education perspectives in all topics related to the Lisp family of languages.  ...  The author is grateful to the anonymous reviewers for their help in improving this work.  ... 
dblp:conf/els/CourcelleD10 fatcat:gsptru7iergwncgeq7rdaa5nji

Transversal and transferable skills training for engineering PhD/doctoral candidates

Jose Coelho Rodrigues, Ana Freitas, Paulo Garcia, Catarina Maia, Marie Pierre-Favre
2018 2018 3rd International Conference of the Portuguese Society for Engineering Education (CISPEE)  
The authors gratefully acknowledge the support of LISP Research Laboratory (UID/CEC/4668/2016).  ...  ACKNOWLEDGMENTS (OPTIONAL) The research of Paula Carvalho and Paula Oliveira are ACKNOWLEDGMENTS The authors gratefully acknowledge the support of the CERIS Research Institute, IST, University of Lisbon  ...  strategy , in the terms defined for Portugal and for the European Union.  ... 
doi:10.1109/cispee.2018.8593472 fatcat:3b4wecyuave3jliwuhuwypwxsq

Why TEI stand-off annotation doesn't quite work

Piotr Bański
Proceedings of Balisage: The Markup Conference 2010   unpublished
Acknowledgments This work was supported by the EU Lifelong Learning Project KELLY. Much of the work discussed has been undertaken together with members of the KELLY team.  ...  -10 0 2 Proceedings of the 3rd Workshop on Building and Using Comparable Corpora, LREC 2010, pages 72-78 Malta, 22 May 2010 See(Kilgarriff, 2001) for global figures of how similar two  ...  Proceedings of the 3rd Workshop on Building and Using Comparable Corpora, LREC 2010, pages 35-41 Malta, 22 May 2010 Improving Machine Translation Performance Using Comparable Corpora Andreas Eisele, Jia  ... 
doi:10.4242/balisagevol5.banski01 fatcat:am7p7jpr6bd6znxw4f3ew5p6va