| 5 |
For a fistful of blogs: Discovery and comparative benchmarking of republishable German content
|
|
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Improving the performance of an example-based machine translation system using a domain-specific bilingual lexicon
|
|
|
|
In: 29th Pacific Asia Conference on Language, Information and Computation, PACLIC 2015 ; https://hal-cea.archives-ouvertes.fr/cea-01844060 ; 29th Pacific Asia Conference on Language, Information and Computation, PACLIC 2015, Oct 2015, Shangai, China. pp.106-115 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Evaluating the impact of using a domain-specific bilingual lexicon on the performance of a hybrid machine translation approach
|
|
|
|
In: 10th International Conference on Recent Advances in Natural Language Processing, RANLP 201 ; https://hal-cea.archives-ouvertes.fr/cea-01844051 ; 10th International Conference on Recent Advances in Natural Language Processing, RANLP 201, Sep 2015, Hissar, Bulgaria. pp.579-587 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
ИССЛЕДОВАНИЕ ВЛИЯНИЯ ПОЛА И ПСИХОЛОГИЧЕСКИХ ХАРАКТЕРИСТИК АВТОРА НА КОЛИЧЕСТВЕННЫЕ ПАРАМЕТРЫ ЕГО ТЕКСТА С ИСПОЛЬЗОВАНИЕМ ПРОГРАММЫ LINGUISTIC INQUIRY AND WORD COUNT
|
|
|
|
BASE
|
|
Show details
|
|
|
| 9 |
DCU-ADAPT: Learning edit operations for microblog normalisation with the generalised perceptron
|
|
|
|
In: Wagner, Joachim orcid:0000-0002-8290-3849 and Foster, Jennifer orcid:0000-0002-7789-4853 (2015) DCU-ADAPT: Learning edit operations for microblog normalisation with the generalised perceptron. In: ACL 2015 Workshop on Noisy User-generated Text (W-NUT), 31 July 2015, Beijing, China. (2015)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A comparative study of online translation services for cross language Information retrieval
|
|
|
|
In: Hosseinzadeh Vahid, Ali, Arora, Piyush orcid:0000-0002-4261-2860 , Liu, Qun orcid:0000-0002-7000-1792 and Jones, Gareth J.F. orcid:0000-0003-2923-8365 (2015) A comparative study of online translation services for cross language Information retrieval. In: 24th International Conference on World Wide Web Companion, 18–22 May 2015, Florence, Italy. ISBN 978-1-4503-3473-0 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
DCU: using distributional semantics and domain adaptation for the semantic textual similarity SemEval-2015 Task 2
|
|
|
|
In: Arora, Piyush orcid:0000-0002-4261-2860 , Hokamp, Chris orcid:0000-0002-7850-9398 , Foster, Jennifer orcid:0000-0002-7789-4853 and Jones, Gareth J.F. orcid:0000-0003-2923-8365 (2015) DCU: using distributional semantics and domain adaptation for the semantic textual similarity SemEval-2015 Task 2. In: International Workshop on Semantic Evaluation (SemEval 2015), 4-5 June 2015, Denver, Co. USA. (2015)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Domain adaptation for machine translation with instance selection
|
|
|
|
In: Bicici, Ergun (2015) Domain adaptation for machine translation with instance selection. The Prague Bulletin of Mathematical Linguistics, 103 (1). pp. 5-20. ISSN 1804-0462 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
QuEst for high quality machine translation
|
|
|
|
In: Bicici, Ergun (2015) QuEst for high quality machine translation. The Prague Bulletin of Mathematical Linguistics, 103 (1). pp. 43-64. ISSN 1804-0462 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Extraction of person names from texts in Portuguese: an approach with local grammars ; Extração de nomes de pessoas em textos em português : uma abordagem usando gramáticas locais
|
|
|
|
In: Anais do Computer on the Beach ; Computer on the Beach ; https://hal.archives-ouvertes.fr/hal-01134971 ; Computer on the Beach, Universidade do Vale do Itajaí (UNIVALI); Centro de Ciências Tecnológicas da Terra e do Mar (CTTMar), Mar 2015, Florianópolis, Brazil. pp.1-10 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Systematic generation of standard compliant tool support of diagrammatic modeling languages
|
|
|
|
In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal-cea.archives-ouvertes.fr/cea-01836563 ; 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.348-357, ⟨10.1109/MODELS.2015.7338266⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Handwritten word recognition using Web resources and recurrent neural networks
|
|
|
|
In: International Journal on Document Analysis and Recognition ; https://hal.archives-ouvertes.fr/hal-01845537 ; International Journal on Document Analysis and Recognition, 2015, 18 (4), pp.287-301. ⟨10.1007/s10032-015-0251-1⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Open challenges in understanding development and evolution of speech forms: The roles of embodied self-organization, motivation and active exploration
|
|
|
|
In: ISSN: 0095-4470 ; EISSN: 1095-8576 ; Journal of Phonetics ; https://hal.inria.fr/hal-01250777 ; Journal of Phonetics, Elsevier, 2015, 53, pp.5. ⟨10.1016/j.wocn.2015.09.001⟩ ; http://www.sciencedirect.com/science/article/pii/S0095447015000716 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
The unclaimable rhythm of the wounded memory ; The unclaimable rhythm of the wounded memory: Musical structure of testimony as a window into the memory of the lived experience
|
|
|
|
In: The Holocaust and the Contemporary World International Interdisciplinary Conference ; https://hal.archives-ouvertes.fr/hal-03201722 ; The Holocaust and the Contemporary World International Interdisciplinary Conference, Apr 2015, Cracovia, Poland (2015)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Introduction to ACESMB 2015- Model-based architecting of cyber-physical and embedded systems
|
|
|
|
In: 8th Joint International Workshop on Model-Based Architecting of Cyber-Physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, ACES-MB 2015 and WUCOR 2015 ; https://hal-cea.archives-ouvertes.fr/cea-01844050 ; 8th Joint International Workshop on Model-Based Architecting of Cyber-Physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, ACES-MB 2015 and WUCOR 2015, Sep 2015, Ottawa, Canada. pp.1-2 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Fast as a shadow, expressive as a tree: Hybrid memory monitoring for C.
|
|
|
|
In: SAC '15 Proceedings of the 30th Annual ACM Symposium on Applied Computing ; https://hal-cea.archives-ouvertes.fr/cea-01836267 ; SAC '15 Proceedings of the 30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1765-1772, ⟨10.1145/2695664.2695815⟩ (2015)
|
|
Abstract:
Conference of 30th Annual ACM Symposium on Applied Computing, SAC 2015 ; Conference Date: 13 April 2015 Through 17 April 2015; Conference Code:117701 ; International audience ; One classical approach to ensuring memory safety of C programs is based on storing block metadata in a tree-like datastructure. However it becomes relatively slow when the number of memory locations in the tree becomes high. Another solution, based on shadow memory, allows very fast constant-time access to metadata and led to development of several highly optimized tools for detection of memory safety errors. However, this solution appears to be insufficient for evaluation of complex memory-related properties of an expressive specification language. In this work, we address memory monitoring in the context of runtime assertion checking of C programs annotated in E-ACSL, an expressive specification language offered by the FRAMA-C framework for analysis of C code. We present an original combination of a tree-based and a shadow-memory-based techniques that reconciles both the efficiency of shadow memory with the higher expressiveness of annotations whose runtime evaluation can be ensured by a tree of metadata. Shadow memory with its instant access to stored metadata is used whenever small shadow metadata suffices to evaluate required annotations, while richer metadata stored in a compact prefix tree (Patricia trie) is used for evaluation of more complex memory annotations supported by E-ACSL. This combined monitoring technique has been implemented in the runtime assertion checking tool for E-ACSL. Our initial experiments confirm that the proposed hybrid approach leads to a significant speedup with respect to an earlier implementation based on a Patricia trie alone without any loss of precision.
|
|
Keyword:
[INFO]Computer Science [cs]; C (programming language); Classical approach; Computational linguistics; Constant time; Hybrid approach; Memory annotations; Memory locations; Memory safety; Metadata; Monitoring techniques; Runtime assertion checking; Specification languages; Specifications
|
|
URL: https://hal-cea.archives-ouvertes.fr/cea-01836267
https://doi.org/10.1145/2695664.2695815
|
|
BASE
|
|
Hide details
|
|
|
|
|
