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 ...
|
|
|
|
BASE
|
|
Show 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
|
|
|
|