2 |
Constraint satisfaction programming for video summarization
|
|
|
|
In: IEEE International Symposium on Multimedia ; https://hal.inria.fr/hal-00909370 ; IEEE International Symposium on Multimedia, Dec 2013, Anaheim, California, United States (2013)
|
|
BASE
|
|
Show details
|
|
3 |
Popularity, Interoperability, and Impact of Programming Languages in 100,000 Open Source Projects
|
|
|
|
In: Proceedings of the 37th Annual International Computer Software & Applications Conference (COMPSAC 2013) ; 37th Annual International Computer Software & Applications Conference (COMPSAC 2013) ; https://hal.archives-ouvertes.fr/hal-00809451 ; 37th Annual International Computer Software & Applications Conference (COMPSAC 2013), Jul 2013, Kyoto, Japan. pp.1-10 (2013)
|
|
BASE
|
|
Show details
|
|
4 |
Proofs You Can Believe In. Proving Equivalences Between Prolog Semantics in Coq
|
|
|
|
In: 15th International Symposium on Principles and Practice of Declarative Programming (PPDP) ; https://hal.inria.fr/hal-00908848 ; 15th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2013, Madrid, Spain. pp.37-48 (2013)
|
|
BASE
|
|
Show details
|
|
5 |
Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
|
|
|
|
In: https://hal.inria.fr/hal-00916882 ; [Research Report] RR-8420, INRIA. 2013, pp.30 (2013)
|
|
BASE
|
|
Show details
|
|
6 |
Elaborating inductive definitions
|
|
|
|
In: JFLA - Journées francophones des langages applicatifs ; https://hal.inria.fr/hal-00778975 ; JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France (2013)
|
|
BASE
|
|
Show details
|
|
7 |
Extensible Document-Based Model Web Engineering
|
|
|
|
In: Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on ; https://hal.archives-ouvertes.fr/hal-01073662 ; Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on, May 2013, Paris, France. pp.1 - 11, ⟨10.1109/RCIS.2013.6577713⟩ (2013)
|
|
BASE
|
|
Show details
|
|
8 |
Towards Multilingual Programming Environments
|
|
|
|
In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00923385 ; Science of Computer Programming, Elsevier, 2013, pp.8 (2013)
|
|
BASE
|
|
Show details
|
|
9 |
API design for machine learning software: experiences from the scikit-learn project
|
|
|
|
In: European Conference on Machine Learning and Principles and Practices of Knowledge Discovery in Databases ; https://hal.inria.fr/hal-00856511 ; European Conference on Machine Learning and Principles and Practices of Knowledge Discovery in Databases, Sep 2013, Prague, Czech Republic (2013)
|
|
BASE
|
|
Show details
|
|
10 |
Project Management within Economic Intelligence: using NooJ as Diagnostic Tool for nanometrology cluster
|
|
|
|
In: NooJ 2013 International Conference ; https://hal.inria.fr/hal-00927180 ; NooJ 2013 International Conference, The Language Technology Lab of the German Research Center for Artificial Intelligence (DFKI GmbH), Jun 2013, Saarbrücken, Germany (2013)
|
|
BASE
|
|
Show details
|
|
11 |
Formant tracking by Multiresolution Analysis ; Suivi de formants par analyse en multirésolution
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01749421 ; Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0026⟩ (2013)
|
|
BASE
|
|
Show details
|
|
12 |
Denotational Semantics of A User-Oriented, Domain-Specific Language
|
|
|
|
In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; https://hal.inria.fr/hal-00865381 ; Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩ (2013)
|
|
BASE
|
|
Show details
|
|
13 |
A Component-Based Approach for Specifying DSML's Concrete Syntax
|
|
|
|
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
|
|
BASE
|
|
Show details
|
|
14 |
“Facets” and “Prisms” as a Means to Achieve Pedagogical Indexation of Texts for Language Learning: Consequences of the Notion of Pedagogical Context
|
|
|
|
In: Software and Data Technologies ; https://hal.archives-ouvertes.fr/hal-01294208 ; José Cordeiro; Maria Virvou; Boris Shishkov. Software and Data Technologies, 170, Springer-Verlag, pp.253-268, 2013, Communications in Computer and Information Sciences, 978-3-642-29577-5. ⟨10.1007/978-3-642-29578-2_16⟩ ; http://link.springer.com/chapter/10.1007/978-3-642-29578-2_16 (2013)
|
|
BASE
|
|
Show details
|
|
15 |
Denotational Semantics of A User-Oriented, Domain-Specific Language ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
EasyTime++: A case study of incremental domain-specific language development ...
|
|
|
|
Abstract:
EasyTime is a domain-specific language (DSL) for measuring time during sports competitions. A distinguishing feature of DSLs is that they are much more amenable to change, and EasyTime is no exception in this regard. This paper introduces two new EasyTime features: classifications of competitors into categories, and the inclusion of competitions where the number of laps must be dynamically determined. It shows how such extensions can be incrementally added into the base-language reusing most of the language specifications. Two case studies are presented showing the suitability of this approach. ...
|
|
Keyword:
FOS Computer and information sciences; Programming Languages cs.PL
|
|
URL: https://arxiv.org/abs/1303.0722 https://dx.doi.org/10.48550/arxiv.1303.0722
|
|
BASE
|
|
Hide details
|
|
18 |
Coalgebraic Logic Programming: from Semantics to Implementation ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
The dimensions and complexities of audio-visual association.
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:Four Kinds of Schema
|
|
|
|
BASE
|
|
Show details
|
|
|
|