Semantic search
Authors | Title | Published in | Date | |
---|---|---|---|---|
Binary Methods Programming: the CLOS Perspective (extended version) | Didier Verna | Binary Methods Programming: the CLOS Perspective (extended version) | Journal of Universal Computer Science | 1 January 2008 |
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams | Badis Hammi Sherali Zeadally Yves Christian Elloh Adja Manlio Del Giudice Jamel Nebhen | Blockchain-Based Solution for Detecting and Preventing Fake Check Scams | IEEE Transactions on Engineering Management | 1 January 2021 |
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images | Guillaume Tochon Mauro Dalla Mura Miguel Angel Veganzones Thierry Géraud Jocelyn Chanussot | Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images | Pattern Recognition | 1 July 2019 |
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation | Alexandre Hamez Yann Thierry-Mieg Fabrice Kordon | Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation | Fundamenta Informaticae | 1 January 2009 |
C-Transformers — A Framework to Write C Program Transformations | Alexandre Borghi Valentin David Akim Demaille | C-Transformers — A Framework to Write C Program Transformations | ACM Crossroads | 16 October 2005 |
Catoids and Modal Convolution Algebras | Uli Fahrenberg Christian Johansen Georg Struth Krzysztof Ziemiański | Catoids and Modal Convolution Algebras | Algebra Universalis | 5 March 2023 |
Connected Filtering on Tree-Based Shape-Spaces | Yongchao Xu Thierry Géraud Laurent Najman | Connected Filtering on Tree-Based Shape-Spaces | IEEE Transactions on Pattern Analysis and Machine Intelligence | 5 June 2015 |
Connected Filters on Generalized Shape-Spaces | Lê Duy Huỳnh Nicolas Boutry Thierry Géraud | Connected Filters on Generalized Shape-Spaces | Pattern Recognition Letters | 20 September 2019 |
Continuous Well-Composedness implies Digital Well-Composedness in n-D | Nicolas Boutry Rocio Gonzalez-Diaz Laurent Najman Thierry Géraud | Continuous Well-Composedness implies Digital Well-Composedness in n-D | Journal of Mathematical Imaging and Vision | 9 November 2021 |
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey | Daniel Maldonado-Ruiz Jenny Torres El MadhounNour Mohamad Badra | Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey | IEEE Access | 1 January 2022 |
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy | Sharib Ali Mariia Dmitrieva Noha Ghatwary Sophia Bano Gorkem Polat Alptekin Temizel Adrian Krenzer Amar Hekalo Yun Bo Guo Bogdan Matuszewski Mourad Gridach Irina Voiculescu Vishnusai Yoganand Arnav Chavan Aryan Raj Nhan T Nguyen Dat Q Tran Le Duy Huynh Nicolas Boutry Shahadate Rezvy Haijian Chen Yoon Ho Choi Anand Subramanian Velmurugan Balasubramanian Xiaohong W Gao Hongyu Hu Yusheng Liao Danail Stoyanov Christian Daul Stefano Realdon Renato Cannizzaro Dominique Lamarque Terry Tran-Nguyen Adam Bailey Barbara Braden James East Jens Rittscher | Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy | Medical Image Analysis | 24 February 2021 |
Derived-Term Automata of Multitape Expressions with Composition | Akim Demaille | Derived-Term Automata of Multitape Expressions with Composition | Scientific Annals of Computer Science | 29 December 2017 |
Discrete Morse Functions and Watersheds | Gilles Bertrand Nicolas Boutry Laurent Najman | Discrete Morse Functions and Watersheds | Journal of Mathematical Imaging and Vision (Special Edition) | 1 January 2023 |
Efficient Multiscale Sauvola's Binarization | Guillaume Lazzara Thierry Géraud | Efficient Multiscale Sauvola's Binarization | International Journal of Document Analysis and Recognition (IJDAR) | 25 April 2013 |
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning | Léonard Tschora Erwan Pierre Marc Plantevit Céline Robardet | Electricity Price Forecasting on the Day-Ahead Market using Machine Learning | Applied Energy | 10 March 2022 |
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids | Nicolas Boutry Laurent Najman Thierry Géraud | Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids | Journal of Mathematical Imaging and Vision | 3 September 2020 |
Fast road network extraction in satellite images using mathematical morphology and Markov random fields | Thierry Géraud Jean-Baptiste Mouret | Fast road network extraction in satellite images using mathematical morphology and Markov random fields | EURASIP Journal on Applied Signal Processing | 5 September 2004 |
Featured Games | Uli Fahrenberg Axel Legay | Featured Games | Science of Computer Programming | 1 November 2022 |
Front-End Factor Analysis For Speaker Verification | Najim Dehak P Kenny Réda Dehak P Dumouchel P Ouellet | Front-End Factor Analysis For Speaker Verification | IEEE Transactions on Audio, Speech, and Language Processing | 1 May 2011 |
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI | Isabelle Bloch Olivier Colliot Oscar Camara Thierry Géraud | Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI | Pattern Recognition Letters | 9 July 2004 |
Go2Pins: A framework for the LTL verification of Go programs (Extended Version) | Etienne Renault Alexandre Kirszenberg Antoine Martin Hugo Moreau | Go2Pins: A framework for the LTL verification of Go programs (Extended Version) | International Journal on Software Tools for Technology Transfer (STTT) | 9 December 2022 |
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata | Manfred Droste Sven Dziadek Werner Kuich | Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata | Information and Computation | 30 June 2022 |
Hierarchical Segmentation Using Tree-Based Shape Spaces | Yongchao Xu Edwin Carlinet Thierry Géraud Laurent Najman | Hierarchical Segmentation Using Tree-Based Shape Spaces | IEEE Transactions on Pattern Analysis and Machine Intelligence | 11 April 2016 |
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection | Yongchao Xu Thierry Géraud Laurent Najman | Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection | Pattern Recognition Letters | 20 May 2016 |
High Throughput Automated Detection of Axial Malformations in Medaka Embryo | Diane Genest Élodie Puybareau Marc Léonard Jean Cousty Noémie De Crozé Hugues Talbot | High Throughput Automated Detection of Axial Malformations in Medaka Embryo | Computers in Biology and Medicine | 22 January 2019 |
Higher-Dimensional Timed and Hybrid Automata | Uli Fahrenberg | Higher-Dimensional Timed and Hybrid Automata | Leibniz Transactions on Embedded Systems | 8 December 2022 |
How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions | Loïca Avanthey Laurent Beaudoin | How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions | Remote Sensing | 1 January 2022 |
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way | Nicolas Boutry Thierry Géraud Laurent Najman | How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way | Journal of Mathematical Imaging and Vision | 4 February 2019 |
How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education | Laurent Beaudoin Loïca Avanthey | How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education | 1 January 2022 | |
How to make Lisp go faster than C | Didier Verna | How to make Lisp go faster than C | IAENG International Journal of Computer Science | 1 December 2006 |
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization | Jérôme Darbon Marc Sigelle | Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization | Journal of Mathematical Imaging and Vision | 24 March 2006 |
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case | Jérôme Darbon Marc Sigelle | Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case | Journal of Mathematical Imaging and Vision | 24 March 2006 |
Improving swarming using genetic algorithms | Etienne Renault | Improving swarming using genetic algorithms | Innovations in Systems and Software Engineering: a NASA journal (ISSE) | 2 June 2020 |
In Pursuit of the Hidden Features of GNN's Internal Representations | Luca Veyrin-Forrer Ataollah Kamal Stefan Duffner Marc Plantevit Céline Robardet | In Pursuit of the Hidden Features of GNN's Internal Representations | Data & Knowledge Engineering | 26 October 2022 |
Introducing Vaucanson | Sylvain Lombardy Yann Régis-Gianas Jacques Sakarovitch | Introducing Vaucanson | Theoretical Computer Science | 1 November 2004 |
Introduction to the Special Issue on Distributed Hybrid Systems | Alessandro Abate Uli Fahrenberg FränzleMartin | Introduction to the Special Issue on Distributed Hybrid Systems | Leibniz Transactions on Embedded Systems | 8 December 2022 |
LTL Model Checking for Communicating Concurrent Programs | Adrien Pommellet Tayssir Touili | LTL Model Checking for Communicating Concurrent Programs | Innovations in Systems and Software Engineering: a NASA journal (ISSE) | 15 May 2020 |
LTL Translation Improvements in Spot 1.0 | Alexandre Duret-Lutz | LTL Translation Improvements in Spot 1.0 | International Journal on Critical Computer-Based Systems | 6 March 2014 |
Learning Grayscale Mathematical Morphology with Smooth Morphological Layers | Romain Hermary Guillaume Tochon Élodie Puybareau Alexandre Kirszenberg Jesús Angulo | Learning Grayscale Mathematical Morphology with Smooth Morphological Layers | Journal of Mathematical Imaging and Vision | 4 April 2022 |
Lisp, Jazz, Aikido | Didier Verna | Lisp, Jazz, Aikido | The Art, Science and Engineering of Programming Journal | 5 February 2018 |
Local Intensity Order Transformation for Robust Curvilinear Object Segmentation | Tianyi Shi Nicolas Boutry Yongchao Xu Thierry Géraud | Local Intensity Order Transformation for Robust Curvilinear Object Segmentation | IEEE Transactions on Image Processing | 22 March 2022 |
MToS: A Tree of Shapes for Multivariate Images | Edwin Carlinet Thierry Géraud | MToS: A Tree of Shapes for Multivariate Images | IEEE Transactions on Image Processing | 26 October 2015 |
Max-Tree Computation on GPUs | Nicolas Blin Edwin Carlinet Florian Lemaitre Lionel Lacassagne Thierry Géraud | Max-Tree Computation on GPUs | IEEE Transactions on Parallel and Distributed Systems | 9 March 2022 |
Methods for Explaining Top-N Recommendations Through Subgroup Discovery | Mouloud Iferroudjene Corentin Lonjarret Céline Robardet Marc Plantevit AtzmuellerMartin | Methods for Explaining Top-N Recommendations Through Subgroup Discovery | Data Mining and Knowledge Discovery | 10 December 2022 |
Model Checking using Generalized Testing Automata | Ala Eddine Ben Salem Alexandre Duret-Lutz Fabrice Kordon | Model Checking using Generalized Testing Automata | Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) | 1 January 2012 |
Model checking with generalized Rabin and Fin-less automata | Vincent Bloemen Alexandre Duret-Lutz Jaco van de Pol | Model checking with generalized Rabin and Fin-less automata | International Journal on Software Tools for Technology Transfer | 1 April 2019 |
Motion compensation based on Tangent Distance prediction for video compression | Jonathan Fabrizio Séverine Dubuisson Dominique Béréziat | Motion compensation based on Tangent Distance prediction for video compression | Signal Processing: Image Communication | 9 February 2012 |
NixOS: A purely functional Linux distribution | Eelco Dolstra Andres Löh Nicolas Pierron | NixOS: A purely functional Linux distribution | Journal of Functional Programming | 15 October 2010 |
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking | Guillaume Tochon Jocelyn Chanussot Mauro Dalla Mura Andrea Bertozzi | Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking | IEEE Transactions on Geoscience and Remote Sensing | 20 April 2017 |
On GNN Explainability with Activation Rules | Luca Veyrin-Forrer Ataollah Kamal Marc Plantevit Céline Robardet DuffnerStefan | On GNN Explainability with Activation Rules | Data Mining and Knowledge Discovery | 20 October 2022 |