Skip to Main content Skip to Navigation

Search by documents



...
hal-03380583v1  Conference papers
Aziz NiyazovNicolas MelladoLoic BartheMarcos Serrano. Dynamic Decals: Pervasive Freeform Interfaces Using Constrained Deformable Graphical Elements
ACM Interactive Surfaces and Spaces Conference (ACM ISS 2021 ), Nov 2021, Lodz, Poland. ⟨10.1145/3488538⟩
hal-03394651v1  Book sections
Didier DuboisHenri Prade. Possibility theory in information fusion
Della Riccia, Giacomo; Lenz, Hanz-Joachim; Kruse, Rudolf. Data Fusion and Perception, 431, Springer, pp.53-76, 2001, International Centre for Mechanical Sciences book series (CISM), 978-3-211-83683-5. ⟨10.1007/978-3-7091-2580-9_3⟩
hal-03394644v1  Conference papers
Salem BenferhatDidier DuboisSouhila KaciHenri Prade. Bridging logical, comparative and graphical possibilistic representation frameworks
6th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 2001), Sep 2001, Toulouse, France. pp.422-431, ⟨10.1007/3-540-44652-4_37⟩
...
tel-03400140v1  Theses
Audren Bouadjio-Boulic. Génération multi-agents de réseaux sociaux
Modélisation et simulation. Université Toulouse 1 Capitole (UT1 Capitole), 2021. Français
hal-03394645v1  Journal articles
Didier DuboisHenri Prade. Possibility theory, probability theory and multiple-valued logics: A clarification
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2001, 32, pp.35-66. ⟨10.1023/A:1016740830286⟩
hal-03385081v1  Conference papers
Guillaume DupontYamine Aït-AmeurMarc PantelNeeraj Singh. Event-B Refinement for Continuous Behaviours Approximation
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
hal-03394649v1  Conference papers
Laurent UghettoDidier DuboisHenri Prade. Raisonner avec deux types de règles floues en utilisant exemples et contre-exemples
Rencontres francophones sur la logique floue et ses applications (LFA 2001), Nov 2001, Mons, Belgique. pp.121-128
hal-03154905v1  Conference papers
Clément ZanolliMargot CantaloubeJean DumoncelLaura Martin-FrancesPriscilla Bayle et al.  A new approach to quantify enamel thickness distribution and the enamel-dentine junction topography in primate teeth
10ème Symposium de Morphométrie et Évolution des Formes (SMEF 2018), Laboratoire PACEA (UMR 5199), LabEx des Sciences Archéologiques de Bordeaux (France), Jun 2018, Bordeaux, France
...
hal-01212927v1  Conference papers
Didier DuboisHenri Prade. On various forms of bipolarity in flexible querying
8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), Sep 2013, Milan, Italy. pp.326-333, ⟨10.2991/eusflat.2013.52⟩
...
hal-01122868v1  Journal articles
Davide CiucciDidier Dubois. A map of dependencies among three-valued logics
Information Sciences, Elsevier, 2013, 250, pp.162-177. ⟨10.1016/j.ins.2013.06.040⟩
...
hal-01212886v1  Conference papers
Didier DuboisWeiru LiuJianbing MaHenri Prade. Toward a General Framework for Information Fusion
10th International Conference on Modeling Decisions for Artificial Intelligence (MDAI 2013), Nov 2013, Barcelone, Spain. pp.37-48, ⟨10.1007/978-3-642-41550-0_4⟩
hal-00731988v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Propositional merging operators based on set-theoretic closeness
Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), 2008, undef, France. pp.737--738
hal-00732027v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Conflict-Based Merging Operators
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008, Sidney, Australia. pp.348--357
hal-00800680v1  Journal articles
Maryvonne AbrahamPhilippe BoissiÈreOlivier BretonGwenaël BrunetFrédéric Le Saux et al.  Palliacom : système multimodal d'aide à la communication
Innovation and Research in BioMedical engineering, Elsevier Masson, 2012, 33 (2), pp.175-181. ⟨10.1016/j.irbm.2012.01.010⟩
...
hal-01782563v1  Conference papers
Nadezhda BaklanovaWilmer RicciottiJan-Georg SmausMartin Strecker. Abstracting an Operational Semantics to Finite Automata
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp.109-123, ⟨10.1007/978-3-319-30246-1_7⟩
...
hal-01346492v1  Conference papers
Ronan HamonValentin EmiyaCédric Févotte. Convex nonnegative matrix factorization with missing data
IEEE International Workshop on Machine Learning for Signal Processing, Sep 2016, Vietri sul Mare, Salerno, Italy
hal-03434697v1  Conference papers
Stéphane Le RouxÉrik Martin-DorelJan-Georg Smaus. An Existence Theorem of Nash Equilibrium in Coq and Isabelle
8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Sep 2017, Rome, Italy. pp.46-60, ⟨10.4204/EPTCS.256.4⟩
hal-03109254v1  Books
Bernadette SharpFlorence SèdesWieslaw Lubaszewski. Cognitive Approach to Natural Language Processing
Bernadette Sharp; Florence Sedes; Wieslaw Lubaszewski. ISTE Press - Elsevier, 234 p., 2017, 978-1785482533 ; eBook ISBN: 9780081023433
hal-00079970v1  Conference papers
Jean-Yves TourneretAndrea FerrariFrançois GoudailPhilippe Réfrégier. A UMP unbiased test for target detection in active coherent images
Physics in Signal and Image Processing, PSIP 2005, 2005, Toulouse, France. pp.69-74
...
hal-01671327v1  Conference papers
Christian SchillingJan-Georg SmausFabian Wenzelmann. A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem
International Workshop on Combinatorial Algorithms (IWOCA 2013), Jul 2013, Rouen, France. pp.458-462
...
hal-01782564v1  Conference papers
Alexander SchimpfJan-Georg Smaus. Büchi Automata Optimisations Formalised in Isabelle/HOL
6th Indian Conference on Logics and its Applications (ICLA 2015), Jan 2015, Mumbai, India. pp.158-169, ⟨10.1007/978-3-662-45824-2_11⟩
hal-01334618v1  Conference papers
Ronan HamonValentin EmiyaCédric Févotte. Factorisation archétypale en matrices non-négatives avec données manquantes
Conférence francophone sur l'apprentissage automatique (CAp 2016), Jul 2016, Marseille, France