Filtrer vos résultats
- 57
- 21
- 54
- 19
- 2
- 2
- 1
- 2
- 77
- 5
- 4
- 1
- 1
- 12
- 14
- 9
- 3
- 10
- 9
- 12
- 8
- 72
- 6
- 77
- 77
- 49
- 6
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 26
- 20
- 9
- 9
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
78 résultats
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Communication dans un congrès
hal-00926244v1
|
|||
A new perspective on analogical proportions15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Sep 2019, Belgrade, Serbia
Communication dans un congrès
hal-02169422v1
|
|||
The analogical cube of opposition6th World Congress on the Square of Opposition (SQUARE 2018), Nov 2018, Crete, Greece
Communication dans un congrès
hal-01984982v1
|
|||
|
A formal framework to prove the correctness of model driven engineering composition operatorsICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès
hal-01024067v1
|
||
Querying uncertain multiple sources8th International Conference on Scalable Uncertainty Management (SUM'14), Sep 2014, Oxford, United Kingdom. pp.286-291
Communication dans un congrès
hal-01063457v1
|
|||
Database Querying in the Presence of Suspect Values19th East-European Conference on Advances in Databases and Information Systems (ADBIS’15), Sep 2015, Poitiers, France. pp.6
Communication dans un congrès
hal-01186580v1
|
|||
From analogical proportions in lattices to proportional analogies in formal conceptsECAI - 21th European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic
Communication dans un congrès
hal-01000314v1
|
|||
|
Handling uncertainty in relational databases with possibility theory - A survey of different modelings12th International Conference on Scalable Uncertainty Management (SUM 2018), Oct 2018, Milan, Italy. pp.396-404, ⟨10.1007/978-3-030-00461-3_30⟩
Communication dans un congrès
hal-03634970v1
|
||
|
Setting the Record Straighter on Shadow BanningINFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩
Communication dans un congrès
hal-03234771v1
|
||
Une distance dans un ensemble fini ordonné et le cas du treillis de conceptsJournées d’Intelligence Artificielle Fondamentale (JIAF), Jul 2019, Toulouse, France
Communication dans un congrès
hal-02159565v1
|
|||
|
Declarative mining of negative sequential patterns1st Declarative Problem Solving Workshop (DPSW 2020) @ ECAI 2020, Pedro Cabalar (CITIC-Univ. A Coruña, Spain); Andreas Herzig (Tolouse Univ, France); David Pearce (Univ. Politécnica Madrid, Spain); Torsten Schaub (Univ. Potsdam, Germany); Stefan Woltran (Vienna Univ. Tech. Austria), Aug 2020, Santiago de Compostela, Spain. pp.1-8
Communication dans un congrès
hal-03025560v1
|
||
|
Towards Model-Driven Sustainability EvaluationCommunications of the ACM, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩
Article dans une revue
hal-02146543v2
|
||
|
Live-UMLRT: A Tool for Live Modeling of UML-RT ModelsMODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩
Communication dans un congrès
hal-02407932v1
|
||
|
Modular Language Composition for the MassesSLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩
Communication dans un congrès
hal-01890446v1
|
||
Proportions analogiques et factorisation de l'information dans les treillis distributifsJournées d'Intelligence Artificielle Fondamentale (JIAF), Jun 2013, Aix en Provence, France
Communication dans un congrès
hal-00908020v1
|
|||
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩
Communication dans un congrès
hal-01187760v1
|
||
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Article dans une revue
hal-01585237v1
|
||
|
A Certainty-Based Model for Uncertain DatabasesIEEE Transactions on Fuzzy Systems, 2015, 23 (4), pp.1181 - 1196. ⟨10.1109/TFUZZ.2014.2347994⟩
Article dans une revue
hal-01186506v1
|
||
|
Ceteris Paribus Structure in Logics of Game Forms (2013)Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11
Communication dans un congrès
hal-01141938v2
|
||
Modèles possibilistes de bases de données incertaines - Une vue d'ensemble27èmes Rencontres Francophones sur la Logique Floue et Applications (LFA 2018), 2018, Arras, France
Communication dans un congrès
hal-01962970v1
|
|||
|
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systemsAutonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Article dans une revue
hal-01624691v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Article dans une revue
hal-01319576v1
|
|||
|
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Communication dans un congrès
hal-01096102v1
|
||
|
A Distributed Q-Learning Approach for Adaptive Sleep Modes in 5G NetworksWCNC 2019 : IEEE Wireless Communications and Networking Conference, Apr 2019, Marrakech, Morocco. ⟨10.1109/WCNC.2019.8885818⟩
Communication dans un congrès
hal-01988226v1
|
||
From AADL to timed abstract state machine: a certified model transformationJournal of Systems and Software, 2014, Journal of Systems and Software, pp.20
Article dans une revue
hal-01095002v1
|
|||
Dealing with aggregate queries in an uncertain database model based on possibilistic certainty15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'14), Jul 2014, Montpellier, France. pp.150-159
Communication dans un congrès
hal-01063447v1
|
|||
|
Towards a Model-Based DevOps for Cyber-Physical SystemsSoftware Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
Chapitre d'ouvrage
hal-02407886v1
|
||
|
Approximate Loop UnrollingCF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
Communication dans un congrès
hal-02407868v1
|
||
|
From DSL Specification to Interactive Computer Programming EnvironmentSLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.167-178, ⟨10.1145/3357766.3359540⟩
Communication dans un congrès
hal-02307953v1
|
||
|
Automatic generation of Truffle-based interpreters for Domain-Specific LanguagesThe Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Article dans une revue
hal-02395867v2
|