DE eng

Search in the Catalogues and Directories

Page: 1 2 3
Hits 1 – 20 of 50

1
Features of an Error Correction Memory to Enhance Technical Texts Authoring in LELIE
In: ISSN: 2234-0068 ; International Journal of Knowledge Content Development & Technology ; https://hal.archives-ouvertes.fr/hal-01303853 ; International Journal of Knowledge Content Development & Technology, 2015, vol. 5 (n° 2), pp. 75-101. ⟨10.5865/IJKCT.2015.5.2.075⟩ (2015)
BASE
Show details
2
COSMO (“Communicating about Objects using Sensory–Motor Operations”): A Bayesian modeling framework for studying speech communication and the emergence of phonological systems
In: ISSN: 0095-4470 ; EISSN: 1095-8576 ; Journal of Phonetics ; https://hal.archives-ouvertes.fr/hal-01230175 ; Journal of Phonetics, Elsevier, 2015, 53, pp.5-41. ⟨10.1016/j.wocn.2015.06.001⟩ ; http://www.sciencedirect.com/science/article/pii/S0095447015000352 (2015)
BASE
Show details
3
Bayesian Algorithmic Modeling in Cognitive Science ; Modélisation bayésienne algorithmique en science cognitive
Diard, Julien. - : HAL CCSD, 2015
In: https://hal.archives-ouvertes.fr/tel-01237127 ; Computer science. Université Grenoble Alpes, 2015 (2015)
BASE
Show details
4
A Generic Framework for Symbolic Execution: Theory and Applications ; Un cadre générique pour l'exécution symbolique : théorie et applications
In: https://hal.inria.fr/hal-00766220 ; [Research Report] RR-8189, Inria. 2015, pp.41 (2015)
BASE
Show details
5
Normalization by realizability also evaluates
In: Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; https://hal.inria.fr/hal-01099138 ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France ; http://jfla.inria.fr/2015 (2015)
BASE
Show details
6
Symbolic execution based on language transformation
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01186008 ; Computer Languages, Systems and Structures, Elsevier, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩ (2015)
BASE
Show details
7
Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell
In: Journées Francophones des Langages Applicatifs (JFLA) ; https://hal.archives-ouvertes.fr/hal-01091736 ; Journées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France (2015)
BASE
Show details
8
Non-linear Second order Abstract Categorial Grammars and deletion
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
BASE
Show details
9
Tracing vs. Partial Evaluation ; Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters
In: Proceedings of ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '15) ; https://hal.inria.fr/hal-01205345 ; Proceedings of ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '15), Oct 2015, Pittsburgh, PA, United States. ⟨10.1145/2814270.2814275⟩ (2015)
BASE
Show details
10
Reasoning with Style
In: International Joint Conference On Artificial Intelligence (IJCAI 2015) ; https://hal.inria.fr/hal-01149248 ; International Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina (2015)
BASE
Show details
11
On Automated Lemma Generation for Separation Logic with Inductive Definitions
In: https://hal.archives-ouvertes.fr/hal-01175732 ; 2015 (2015)
BASE
Show details
12
Reusing Legacy DSLs with Melange
In: 15th Workshop on Domain-Specific Modeling ; https://hal.inria.fr/hal-01197039 ; 15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States (2015)
BASE
Show details
13
Efficient Hosted Interpreter for Dynamic Languages
Zhang, Wei. - : eScholarship, University of California, 2015
In: Zhang, Wei. (2015). Efficient Hosted Interpreter for Dynamic Languages. UC Irvine: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/6gb693jb (2015)
BASE
Show details
14
Visualization Computer Programming Instruction : Usability and Influence on Attitudes toward Programming by Gender
Weiman, Meghan C. (Meghan Christine), 1982-. - : Central Connecticut State University, 2015
BASE
Show details
15
Towards Multilingual Programming Environments
In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-01261474 ; Science of Computer Programming, Elsevier, 2015, 97 (Part 1) (2015)
BASE
Show details
16
PyMedTermino: an open-source generic API for advanced terminology services.
In: ISSN: 0926-9630 ; EISSN: 1879-8365 ; Studies in Health Technology and Informatics ; https://hal.archives-ouvertes.fr/hal-03650024 ; Studies in Health Technology and Informatics, IOS Press, 2015, 210, pp.924-8 (2015)
BASE
Show details
17
Modélisation et Exploitation de Profils : Accès Sémantique à des Ressources ; ÅÓÐÐ××ØØÓÒ Ø ÜÔÐÓÓØØØØÓÒ ÈÖÓÓÐ× × ËËÑÑÒØØÕÙÙ × ÊÊ××ÓÙÖ × È× ÐÐÒÒ ÄÄÙÖÖ Ì ÒÒÒÓÑ
Tchienehom, Pascaline. - : HAL CCSD, 2015. : Editions Universitaires Européennes, 2015
In: https://hal.archives-ouvertes.fr/hal-01802093 ; Editions Universitaires Européennes, 2015, 978-3-8416-7617-7 ; https://www.editions-ue.com/ (2015)
BASE
Show details
18
Argument Compound Mining in Technical Texts: linguistic structures, implementation and annotation schemas
In: Proceedings of ECA Lisbon 2015. Studies in logic and argumentation ; 1st European Conference on Argumentation (ECA 2015) ; https://hal.archives-ouvertes.fr/hal-01327090 ; 1st European Conference on Argumentation (ECA 2015), Jun 2015, Lisbon, Portugal. pp. 1 (2015)
BASE
Show details
19
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)
BASE
Show details
20
Tool paper: Combining Alf and UML in modeling tools: An example with papyrus
In: 15th International Workshop on OCL and Textual Modeling, OCL 2015 ; https://hal-cea.archives-ouvertes.fr/cea-01844056 ; 15th International Workshop on OCL and Textual Modeling, OCL 2015, Sep 2015, Ottawa, Canada. pp.105-119 (2015)
BASE
Show details

Page: 1 2 3

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
50
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern