Skip to Main content Skip to Navigation

hal-02942366v1  Book sections
Martin CooperSimon de GivryThomas Schiex. Valued Constraint Satisfaction Problems
A Guided Tour of Artificial Intelligence Research, Springer International Publishing, 2020, ⟨10.1007/978-3-030-06167-8⟩
hal-02941602v1  Books
Jean-Denis DurouMaurizio FalconeYvain QuéauSilvia Tozza. Advances in Photometric 3D-Reconstruction
Springer International Publishing, 2020, Advances in Computer Vision and Pattern Recognition, ⟨10.1007/978-3-030-51866-0⟩
hal-02941031v1  Journal articles
Philippe BalbianiMartín DiéguezLuis Fariñas del Cerro. Setting the basis for Here and There modal logic
Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications, 2019, 6 (7), pp.1475-1500
hal-02940966v1  Journal articles
Didier DuboisHélène FargierAgnès Rico. Commuting double Sugeno integrals
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2019, 27 (Supplement), pp.1-38. ⟨10.1142/S0218488519400014⟩
hal-02940962v1  Journal articles
Hélène FargierPierre-François GimenezJérôme Mengin. Experimental evaluation of three value recommendation methods in interactive configuration
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2020, 26 (3), pp.318-342
hal-02940714v1  Conference papers
Camille MauriceFrancisco MadrigalAndré MoninFrédéric Lerasle. A New Bayesian Modeling for 3D Human-Object Action Recognition
16th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS 2019), Sep 2019, Taipei, Taiwan. ⟨10.1109/AVSS.2019.8909873⟩
hal-02939487v1  Conference papers
Wafaa Abou MoussaEmmanuel DuboisChristophe BortolasoPascal SalembierJean-Pierre Jessel et al.  SIMBA: méthodologie et plateforme de prototypage moyenne fidélité pour les systèmes interactifs mixtes
UbiMob'08: 4th French-speaking conference on Mobility and ubiquity computing, May 2008, Saint Malo, France. pp.21, ⟨10.1145/1376971.1376977⟩
hal-02939477v1  Journal articles
Chuan YanDavid VanderhaegheYotam Gingold. A Benchmark for Rough Sketch Cleanup
ACM Transactions on Graphics, Association for Computing Machinery, In press, 39 (6)
hal-02939168v1  Book sections
Célia MartiniePhilippe PalanqueFayollas Camille. Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models
Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610
hal-02939069v1  Book sections
Elodie BouzekriCélia MartiniePhilippe Palanque. A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation
Cristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037
hal-02573655v1  Journal articles
Marcelo ColominasSylvain MeignenDuong-Hung Pham. Fully Adaptive Ridge Detection Based on STFT Phase Information
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2020, 27, pp.620-624. ⟨10.1109/LSP.2020.2987166⟩
hal-02938631v1  Journal articles
Maryse SallesRaphaëlle Bour. Présentation du numéro « Impact des systèmes d'information sur la démocratie dans les organisations »
Revue Ouverte de l’Ingénierie des Systèmes d'Information (ROISI), © ISTE Ltd, 2020, 1 (2), pp.0
hal-02938626v1  Conference papers
Yessrine AbichouSiwar ChaabeneLotfi Chaari. A sleep monitoring method with EEG signals
International Conference on Digital Health Technologies (ICDHT), Dec 2019, Hammamet, Tunisia. pp.1-8
hal-02938620v1  Conference papers
Mohamed FakhfakhNizar FakhfakhLotfi Chaari. Robust lane Extraction using Two-Dimension Declivity
17th International Conference on Artificial Intelligence and Soft Computing (ICAISC), Jun 2018, Zakopane, Poland. pp.14-24, ⟨10.1007/978-3-319-91262-2_2⟩
hal-02089335v2  Journal articles
Arianna NovaroUmberto GrandiAndreas Herzig. Judgment aggregation in dynamic logic of propositional assignments
Journal of Logic and Computation, Oxford University Press (OUP), 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩
hal-02937672v1  Conference papers
Tilahun YeshambelJosiane MotheYaregal Assabie. 2AIRTC: The Amharic Adhoc Information Retrieval Test Collection
CLEF 2020, Evangelos Kanoulas; Theodora Tsikrika; Stefanos Vrochidis; Avi Arampatzis, Sep 2020, Thessaloniki, Greece. pp.55-66
hal-02936482v1  Conference papers
Philippe BalbianiÇigdem Gencer. Contact Logic is finitary for unification with constants
Workshop on Logic and Cognition, Dec 2016, Canton, China
hal-02936464v1  Journal articles
Philippe BalbianiÇigdem GencerMaryam Rostamigiv. About the unification type of fusions of modal logics
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, College Publications, In press
hal-02936458v1  Journal articles
Philippe BalbianiDavid Fernández-DuqueAndreas HerzigPetar Iliev. Frame-validity games and lower bounds on the complexity of modal axioms
Logic Journal of the Interest Group in Pure and Applied Logic (IGPL), In press
hal-02936452v1  Journal articles
Philippe BalbianiJoseph BoudouMartín DiéguezDavid Fernández-Duque. Bisimulations for intuitionistic temporal logics
Electronic Notes in Theoretical Computer Science, Elsevier, 2020
hal-02936439v1  Conference papers
Philippe BalbianiHans van DitmarschSaúl Fernández González. From Public Announcements to Asynchronous Announcements
ECAI 2020 : 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela, Spain
hal-02936432v1  Conference papers
Philippe BalbianiSaúl Fernández González. Indexed Frames and Hybrid Logics
Advances in Modal Logic, Aug 2020, Helsinki, Finland
hal-02936428v1  Conference papers
Philippe BalbianiHans van DitmarschSaúl Fernández González. Quantifying over Asynchronous Information Change
Advances in Modal Logic, Aug 2020, Helsinki, Finland
hal-02936402v1  Journal articles
Philippe BalbianiMartin DiéguezLuis Fariñas del Cerro. Setting the Basis for Here and There Modal Logics
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, College Publications, 2019
hal-02936348v1  Journal articles
Philippe BalbianiTatyana Ivanova. Relational representation theorems for extended contact algebras
Studia Logica, Springer Verlag (Germany), In press
tel-02453958v2  Theses
Kevin Desormeaux. Temporal models of motions and forces for Human-Robot Interactive manipulation
Robotics [cs.RO]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30221⟩
tel-02098246v2  Theses
Lola Masson. Safety monitoring for autonomous systems : interactive elicitation of safety rules
Performance [cs.PF]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30220⟩
hal-02935676v1  Conference papers
Mathieu RaynalBenoît Martin. SlideKey: Impact of In-depth Previews for a Predictive Text Entry Method
Computers Helping People with Special Needs, Sep 2020, Lecco, Italy. pp.363-370, ⟨10.1007/978-3-030-58805-2_43⟩