DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5 6 7
Hits 61 – 80 of 135

61
2014 Transcription notebook 3 ; chini_notebook03
Joseph. - 2016
BASE
Show details
62
2014 Transcription Notebook 5 ; chini_notebook05
Joseph. - 2016
BASE
Show details
63
Transcription notebook 1 ; chini_notebook01
Joseph. - 2016
BASE
Show details
64
2014 Transcription Notebook 4 ; chini_notebook04
Joseph. - 2016
BASE
Show details
65
THE EFFECT OF MEDIA ANNOTATION TECHNOLOGY ON ENHANCING THE USE OF DISCOURSE MARKERS WITHIN COMMUNICATIVE SPEECH
Olesh, Ryan. - : University of Kansas, 2016
BASE
Show details
66
Beyond Plain Spatial Knowledge: Determining Where Entities Are and Are Not Located, and For How Long
In: 54th Annual Meeting of the Association for Computational Linguistics, August 7-12, 2016. Berlin, Germany. (2016)
BASE
Show details
67
Supervised Keyphrase Extraction as Positive Unlabeled Learning
In: 2016 Conference on Empirical Methods in Natural Language Processing, November 1-5, 2016. Austin, Texas. (2016)
BASE
Show details
68
Hypermidia gloss in the teaching and learning of implicit vocabulary in the english language ; Glossário hipermídia no ensino-aprendizagem implícito de vocabulário em língua inglesa
In: Acta Scientiarum. Language and Culture; v. 38, n. 2 (2016); 107-116 ; 1983-4683 ; 1983-4675 (2016)
BASE
Show details
69
Hypermidia gloss in the teaching and learning of implicit vocabulary in the english language ; Glossário hipermídia no ensino-aprendizagem implícito de vocabulário em língua inglesa
In: Acta Scientiarum. Language and Culture; Vol 38 No 2 (2016); 107-116 ; Acta Scientiarum. Language and Culture; v. 38 n. 2 (2016); 107-116 ; 1983-4683 ; 1983-4675 (2016)
BASE
Show details
70
Mapping different rhetorical relation annotations: A proposal
In: Proceedings of the Fourth Joint Conference on Lexical and Computational Semantics ; Fourth Joint Conference on Lexical and Computational Semantics (*SEM 2015) ; https://hal.archives-ouvertes.fr/hal-02640085 ; Fourth Joint Conference on Lexical and Computational Semantics (*SEM 2015), Jun 2015, Denver, United States. pp.147-152 (2015)
BASE
Show details
71
Списки рукописи «Китāб а╕-╕āди╝ ва-л-бā▀им» Ибн ал-хаб-бāрийи в собраниях восточного отдела библиотеки им. Горького и в государственной библиотеке Берлина
МОКРУШИНА АМАЛИЯ АНАТОЛЬЕВНА. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет», 2015
BASE
Show details
72
Searching and retrieving multi-levels annotated data
In: Proceedings of Gesture and Speech in Interactioni - 4th edition ; https://hal.archives-ouvertes.fr/hal-01455315 ; Proceedings of Gesture and Speech in Interactioni - 4th edition, 2015, Nantes, France. pp.31-36 (2015)
BASE
Show details
73
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
74
Semantic Annotations for Workflow Interoperability
In: ISSN: 0350-5596 ; Informatica ; https://hal.inria.fr/hal-01111453 ; Informatica, Slovene Society Informatika, Ljubljana, 2014, 38 (4), pp.347-366 (2014)
BASE
Show details
75
EngVallex - English Valency Lexicon
Cinková, Silvie; Fučíková, Eva; Šindlerová, Jana. - : Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL), 2014
BASE
Show details
76
Using online annotations in collaborative reading activities with elementary-aged Taiwanese learners of English
Yu, Li-Tang. - 2014
BASE
Show details
77
Compensating inaccurate annotations to train 3D facial landmark localisation models
In: Sukno, Federico M., Waddington, John L. and Whelan, Paul F. orcid:0000-0001-9230-7656 (2013) Compensating inaccurate annotations to train 3D facial landmark localisation models. In: 10'th IEEE international conference on automatic face and gesture recognition, 22-25 Apr 2013, Shanghai, China. (2013)
BASE
Show details
78
Towards comprehensive syntactic and semantic annotations of the clinical narrative.
In: Journal of the American Medical Informatics Association : JAMIA, vol 20, iss 5 (2013)
BASE
Show details
79
Transcription systems for sign languages: a sketch of the different graphical representations of sign language and their characteristics
In: Body, Language, Communication, An International Handbook on Multimodality in Human Interaction ; https://hal.archives-ouvertes.fr/hal-01728549 ; Müller, A. Cienki, E. Fricke, S. Ladewig, D. McNeill and S. Tessendorf. Body, Language, Communication, An International Handbook on Multimodality in Human Interaction, de Gruyter, pp.1125-1140, 2013 (2013)
BASE
Show details
80
Towards comprehensive syntactic and semantic annotations of the clinical narrative
Albright, Daniel; Lanfranchi, Arrick; Fredriksen, Anwen. - : BMJ Publishing Group, 2013
BASE
Show details

Page: 1 2 3 4 5 6 7

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
135
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern