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
|
|
|
|
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
|
|
|
|
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 ; ÅÓÐÐ××ØØÓÒ Ø ÜÔÐÓÓØØØØÓÒ ÈÖÓÓÐ× × ËËÑÑÒØØÕÙÙ × ÊÊ××ÓÙÖ × È× ÐÐÒÒ ÄÄÙÖÖ Ì ÒÒÒÓÑ
|
|
|
|
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
|
|
|
|