Filtrer vos résultats
- 57
- 20
- 54
- 19
- 2
- 2
- 2
- 76
- 5
- 4
- 1
- 1
- 12
- 13
- 9
- 3
- 10
- 9
- 12
- 8
- 72
- 5
- 76
- 76
- 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
- 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
77 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
|
||
|
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical SystemsWorkshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Communication dans un congrès
hal-01375576v1
|
||
|
Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and ChallengesMDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things, Sep 2019, Munich, Germany. pp.1-2
Communication dans un congrès
hal-02285737v1
|
||
|
The Ceteris Paribus Structure of Logics of Game FormsJournal of Artificial Intelligence Research, 2015, vol. 53, pp. 91-126. ⟨10.1613/jair.4666⟩
Article dans une revue
hal-01809279v1
|
||
|
Arguments using ontological and causal knowledge (FoIKS 2014)8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2014), Sofian Maabout, Mar 2014, Bordeaux, France. pp.79--96, ⟨10.1007/978-3-319-04939-7_3⟩
Communication dans un congrès
hal-00931679v1
|
||
|
Model Transformation Reuse across Metamodels - A classification and comparison of approachesICMT 2018 - International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩
Communication dans un congrès
hal-01910113v1
|
||
|
The relevance of model-driven engineering thirty years from now17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩
Communication dans un congrès
hal-01156595v1
|