Web page of Jamal Atif

Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot.
A finite basis theorem for the description logic ALC. arXiv preprint arXiv:1502.07634, 2016.
Submitted to Information Processing Letters.
Category: Artificial Intelligence, Logics

Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot.
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics. arXiv preprint arXiv:1502.02298. to appear in Artificial Intelligence Journal.
Category: Artificial Intelligence, Logics, Knowledge representation and Reasoning.

Fabien Labernia, Bruno Zanuttini, Brice Mayag, Florian Yger, and Jamal Atif. Online learning of acyclic conditional preference networks from noisy data. IEEE ICDM 2017. Category: Machine Learning.

Fabien Labernia, Florian Yger, Brice Mayag, and Jamal Atif. Query-based learning of acyclic conditional preference networks from contradictory preferences. EURO Journal on Decision Processes, 2017. Category: Machine Learning

Mariusz Bojarski, Anna Choromanska, Krzysztof Choromanski, Francois Fagan, Cedric Gouy-Pailler, Anne Morvan, Nouri Sakr, Tamas Sarlos, Jamal Atif. Structured adaptive and random spinners for fast machine learning computations. arXiv preprint arXiv:1610.06209, 2016. Work with Google NYC. Accepted at AISTAT 2017. Category: Machine Learning

Yoann Isaac, Quentin Barthélemy, Cédric Gouy-Pailler, Michèle Sebag, Jamal Atif. Multi-dimensional signal approximation with sparse structured priors using split Bregman iterations, Signal Processing, 2017, vol. 130, p. 389-402. Category: Machine Learning

Timothée Evain, Xavier Ripoche, J. Atif et Isabelle Bloch. Semi-automatic teeth segmentation in cone-beam computed tomography by graph-cut with statistical shape prior. IEEE International Symposium on Biomedical Imaging, Melbourne, Australia, 2017. Category: Machine Learning, image processing, medical imaging

Isabelle Bloch and Jamal Atif. Defining and computing Hausdorff distances between distributions on the real line and on the circle: link between optimal transport and morphological dilations, Mathematical Morphology-Theory and Applications, 2016, vol. 1, no 1, p. 79-99.

Y. Yang, R. De Aldama, J. Atif, and I. Bloch. Efficient semantic tableau generation for abduction in propositional logic. In European Conference on Artificial Intelligence (ECAI), The Hague, The Netherlands, 2016

Fabien Labernia, Florian Yger, Brice Mayag, Jamal Atif : Query-based learning of acyclic conditional preference networks from noisy data. DA2PL 2016 (Paderborn).pdf

Yifan Yang, Jamal Atif, Isabelle Bloch: Abductive reasoning for image interpretation based on spatial concrete domains and description logics. Conférence Nationale en Intelligence Artificielle RFIA-CNIA 2016: 181–188

L Linguet and J Atif. A markov chain monte carlo-based particle filter approach for spatiotemporal modelling of an environmental process. In Geostatistical and Geospatial Approaches for the Characterization of Natural Resources in the Environment, pages 617–621. Springer International Publishing, 2016.

Y. Yang, J. Atif, and I. Bloch. Abductive reasoning using tableau methods for high-level image interpretation. In German Conference on Artificial Intelligence, KI2015, volume LNAI 9324, pages 356–365, Dresden, Germany, 2015.

Laurent Linguet and Jamal Atif. Estimating surface solar irradiance from goes satellite with particle filter model and joint probability distribution. In Canadian Journal of Remote Sensing, 41(2) :71–85, 2015.

T. Evain, X. Ripoche, J. Atif, and I. Bloch. Fuzzy along spatial relation in 3D. Application to anatomical structures in maxillofacial CBCT. In 18th International Conference on Image Analysis and Processing (ICIAP), volume LNCS 9279, pages 271–281, Genova, Italy, 2015.

I. Bloch and J. Atif. Hausdorff distances between distributions using optimal transport and mathematical morphology. In 12th International Symposium on Mathematical Morphology, volume LNCS 9082, pages 522–534, Reykjavik, Iceland, 2015.

I. Bloch and J. Atif. Deux approches pour la comparaison de relations spatiales floues : transport optimal et morphologie mathématique. Revue d’Intelligence Artificielle, 29(5) :595–619, 2015.

J. Atif, C. Hudelot, and I. Bloch. Explanatory reasoning for image understanding using formal concept analysis and description logics. IEEE Transactions on Systems, Man and Cybernetics : Systems, 44(5) :552–570, May 2014. DOI

F. Distel, J. Atif, and I. Bloch. Concept dissimilarity based on tree edit distance and morphological dilations. In European Conference on Artificial Intelligence (ECAI), pages 249–254, Prag, Czech Republic, 2014.

F. Distel, J. Atif, and I. Bloch. Concept dissimilarity with triangle inequality. In 14th International Conference on Principles of Knowledge Representation and Reasoning, pages 614–617, Wien, Austria, July 2014.

S. Chevallier, Q. Barthélemy, and J. Atif. Subspace metrics for multivariate dictionaries and application to EEG. In Proceedings of the 39th IEEE International Conference on Acoustics, Speech, and Signal Processing, (ICASSP-2014), pages 7178–7182, Firenze, Italy„ May 4-9 2014.

S. Chevallier, Q. Barthélemy, and J. Atif. On the need for metrics in dictionary learning assessment. In Proceedings of the 22nd IEEE European Signal Processing Conference, (EUSIPCO), pages 1427–1431, Lisbon, Portugal, Sep 1-5 2014. IEEE.

L. Linguet and J. Atif. Modeling time series of solar irradiance from satellite data through particle filtering and joint probability distribution. In IEEE-IGARSS, Canada, 2014.

C. Hudelot, J. Atif, and I. Bloch. ALC(F) : a new description logics for spatial reasoning in images. In 1st International Workshop on Computer vision + ONTology Applied Cross-disciplinary Technologies (CONTACT 2014), Zurich, Switzerland, September 2014.

O. Nempont, J. Atif, and I. Bloch. A constraint propagation approach to structural model based image segmentation and recognition. in Information Sciences,246 :1–27, 2013.

I. Bloch, J. Atif.Distance to bipolar information from morphological dilation. In The 8th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-2013, pages 266–273, Milan, Italy, September 2013.

J. Atif, I. Bloch, F. Distel, and C. Hudelot. A fuzzy extension of explanatory relations based on mathematical morphology. In The 8th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-2013, pages 244–251, Milan, Italy, September 2013.

J. Atif, I. Bloch, F. Distel, and C. Hudelot. Mathematical morphology operators over concepts lattices. In 11th International Conference on Formal Concept Analysis, pages 28–43, Dresden, Germany, May 2013.Slides

Y. Isaac, Q. Barthélémy, J. Atif, C. Gouy-Pailler and M. Sebag. Multi-dimensional sparse structured signal approximation using split Bregman iterations. In 38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pages 3826-3830, Vancouver, Canada, May 2013.

Y. Isaac, Q. Barthélémy, J. Atif, C. Gouy-Pailler, and M. Sebag. Régularisations spatiales pour la décomposition de signaux eeg sur un dictionnaire temps-fréquence. In GRETSI, Groupe d’Etudes du Traitement du Signal et des Images, pages xxx–xx, Brest, France, September 2013.

G. Fouquier, J. Atif, and I. Bloch. Sequential model-based segmentation and recognition of image structures driven by visual features and spatial relations. Computer Vision and Image Understanding, 116(1):146–165, January 2012. (Springer DOI), (Preprint).

L. Linguet and J. Atif. A particle filter approach for solar radiation estimate using satellite image and in situ data. In 1st EARSeL Workshop on Temporal Analysis of Satellite Images, pages 208–216, Mykonos, Greece, May 2012.

J. Atif, C. Hudelot, and I. Bloch. Abduction in description logics using formal concept analysis and mathematical morphology : application to image interpretation. In 8th International Conference on Concept Lattices and Their Applications (CLA2011), pages 405–408, Nancy, Paris, October 2011.

J. Atif, C. Hudelot, and I. Bloch. Abduction dans les logiques de description : apport de l’analyse formelle de concepts et de la morphologie mathématique. In Représentation et Raisonnement sur le Temps et l’Espace (Atelier RTE 2011), Chambery, France, May 2011.pdf

C. Hudelot, J. Atif, and I. Bloch. Integrating bipolar fuzzy mathematical morphology in description logics for spatial reasoning. In European Conference on Artificial Intelligence (ECAI 2010), pages 497–502, Lisbon, Portugal, August 2010.

O. Nempont, J. Atif, E. D. Angelini, and I. Bloch. Propagation de contraintes pour la segmentation et la reconnaissance de structures anatomiques à partir d’un modèle structurel. Information - Interaction - Intelligence (I3), 10(1), December 2010.

O. Nempont, J. Atif, E. Angelini, and I. Bloch. A New Fuzzy Connectivity Measure for Fuzzy Sets and Associated Fuzzy Attribute Openings. Journal of Mathematical Imaging and Vision, 34:107–136, 2009.(Springer DOI)), (Preprint)

H. Khotanlou, O. Colliot, J. Atif, and I. Bloch. 3D Brain Tumor Segmentation in MRI Using Fuzzy Classification, Symmetry Analysis and Spatially Constrained Deformable Models. Fuzzy Sets and Systems, (160):1457–1473, 2009.(Elsevier DOI), (Preprint)

J. Atif and J. Darbon. Copula-set measures over topographic maps for change detection. In IEEE International Conference on Image Processing, pages 2881 – 2884, Cairo, Egypt, Nov 2009.

C. Hudelot, J. Atif, and I. Bloch. Fuzzy Spatial Relation Ontology for Image Interpretation. Fuzzy Sets and Systems, 159:1929–1951, 2008.(Elsevier DOI)(Preprint)

J. Puentes, B. Batrancourt, J. Atif, E. Angelini, L. Lecornu, A. Zemirline, I. Bloch, G. Coatrieux, and C. Roux. Integrated Multimedia Electronic Patient Record and Graph-Based Image Information for Cerebral Tumors. Computers in Biology and Medicine, 38(4):425–437, 2008. (DOI) (Preprint)

C. Hudelot, J. Atif, and I. Bloch. A Spatial Relation Ontology Using Mathematical Morphology and Description Logics for Spatial Reasoning. In ECAI-Workshop on Spatial and Temporal Reasoning, pages 21–25, Patras, Greece, jul 2008.

O. Nempont, J. Atif, E. Angelini, and I. Bloch. Structure Segmentation and Recognition in Images Guided by Structural Constraint Propagation. In European Conference on Artificial Intelligence (ECAI), pages 621–625, Patras, Greece, jul 2008.

G. Fouquier, J. Atif, and I. Bloch. Sequential Spatial Reasoning in Images based on Pre-Attention Mechanisms and Fuzzy Attribute Graphs. In European Conference on Artificial Intelligence (ECAI), pages 611–615, Patras, Greece, jul 2008.

O. Nempont, J. Atif, E. Angelini, and I. Bloch. Fuzzy Attribute Openings Based on a New Fuzzy Connectivity Class. Application to Structural Recognition in Images. In International Conference on Information Processing and Managmenent of Uncertainty (IPMU), pages 652–659, Malaga, Spain, jun 2008.

G. Fouquier, J. Atif, and I. Bloch. Incorporating a pre-attention mechanism in fuzzy attribute graphs for sequential image segmentation. In International Conference on Information Processing and Management of Uncertainty (IPMU), pages 840–847, Torremolinos (Malaga), Spain, jun 2008.

O. Nempont, J. Atif, E. Angelini, and I. Bloch. A New Fuzzy Connectivity Class. Application to Structural Recognition in Images. In Discrete Geometry for Computer Imagery (DGCI), volume LNCS 4992, pages 446–457, Lyon, 2008.

C. Hudelot, J. Atif, and I. Bloch. FSRO : une ontologie de relations spatiales floues pour l’inteprétation d’images. Revue Nouvelles Technologies de l'Information (RNTI), 14 :55–86, 2008.

C. Hudelot, J. Atif, and I. Bloch. Intégration de la morphologie mathématique floue dans une logique de description pour le raisonnement spatial. In Rencontres Francophones sur la Logique Floue et ses Applications (LFA), pages 336–343, Lens, France, oct 2008.

E. Aldea, G. Fouquier, J. Atif, and I. Bloch. Kernel Fusion for Image Classification Using Fuzzy Structural Information. In 3rd International Symposium on Visual Computing ISVC07, volume LNCS 4842, pages 307– 317, Lake Tahoe, USA, nov 2007.

ED Angelini, J. Atif, J. Delon, E. Mandonnet, H. Duffau, and L. Capelle. Detection of glioma evolution on longitudinal MRI studies. In 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro. ISBI, pages 49–52, 2007.

J. Atif, C. Hudelot, G. Fouquier, I. Bloch, and E. Angelini. From Generic Knowledge to Specific Reasoning for Medical Image Interpretation using Graph-based Representations. In International Joint Conference on Artificial Intelligence (IJCAI), pages 224–229, 2007, Hyderabad, India, jan 2007.

C. Hudelot, J. Atif, and I. Bloch. An Ontology of Spatial Relations using Fuzzy Concrete Domains. In AISB symposium on Spatial Reasoning and Communication, Newcastle, UK, apr 2007.

O. Nempont, J. Atif, E. Angelini, and I. Bloch. Combining Radiometric and Spatial Structural Information in a New Metric for Minimal Surface Segmentation. In Information Processing in Medical Imaging (IPMI 2007), volume LNCS 4584, pages 283–295, Kerkrade, The Netherlands, jul 2007.

E. Aldea, J. Atif, and I. Bloch. Image Classification using Marginalized Kernels for Graphs. In 6th IAPR-TC15 Workshop on Graph-based Representations in Pattern Recognition, GbR’07, volume 1, pages 103–113, Ali- cante, Spain, jun 2007.

G. Fouquier, J. Atif, and I. Bloch. Local Reasoning in Fuzzy Attributes Graphs for Optimizing Sequential Segmentation. In 6th IAPR-TC15 Workshop on Graph-based Representations in Pattern Recognition, GbR’07, volume 1, pages 138–147, Alicante, Spain, jun 2007.

J. Atif, C. Hudelot, O. Nempont, N. Richard, B. Batrancourt, E. Angelini, and I. Bloch. GRAFIP: A Framework for the Representation of Healthy and Pathological Cerebral Information. In ISBI 2007, pages 205–208, Washington DC, USA, apr 2007.

I. Bloch, C. Hudelot, and J. Atif. On the Interest of Spatial Relations and Fuzzy Representations for Ontology-Based Image Interpretation. In International Conference on Advances in Pattern Recognition, ICAPR’07, pages 15–25, Kolkata, India, jan 2007. Invited paper.

H. Khotanlou, J. Atif, E. Angelini, H. Duffau, and I. Bloch. Adaptive Segmentation of Internal Brain Structures in Pathological MR Images Depending on Tumor Types. In ISBI 2007, pages 588–591, Washington DC, USA, apr 2007.

E. Aldea, G. Fouquier, J. Atif, and I. Bloch. Classification d’images par fusion d’attributs flous de graphes, relations spatiales et noyaux marginalisés. In Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2007), pages 25–32, Nimes, France, nov 2007.

J. Atif, C. Hudelot, and I. Bloch. Adaptation de connaissances génériques pour l’interprétation d’images médicales : représentations par onologies et par graphes et modélisation floue. In 7e journées francophones Extraction et Gestion des Connaissances - Extraction de Connaissances et Images (EGC-ECOI’07), pages 51–61, Namur, Belgique, jan 2007.pdf

J. Atif, H. Khotanlou, E. Angelini, H. Duffau, and I. Bloch. Segmentation of Internal Brain Structures in the Presence of a Tumor. In MICCAI Workshop on Clinical Oncology, pages 61–68, Copenhagen, oct 2006.

J. Puentes, B. Batrancourt, L. Lecornu, J. Atif, A. Zemirline, G. Coatrieux, E. Angelini, I. Bloch, and C. Roux. Enhancing Electronic Patient Record Functionality through Information Extraction from Images. In IEEE International Conference on Information and Communication Technologies: From Theory To Applications ICTTA 2006, pages 978–983, Damascus, Syria, apr 2006.

C. Hudelot, J. Atif, O. Nempont, B. Batrancourt, E. Angelini, and I. Bloch. GRAFIP: a Framework for the Representation of Healthy and Pathological Anatomical and Functional Cerebral Information. In Human Brain Mapping, Florence, Italy, jun 2006.

B. Batrancourt, D. Hasboun, J. Atif, C. Hudelot, E. Angelini, and I. Bloch. A Clustering View of the Human Brain Mapping Literature and an Anatomo-Functional Cerebral Model. In Human Brain Mapping, Florence, Italy, jun 2006.

J. Atif, O. Nempont, O. Colliot, E. Angelini, and I. Bloch. Level Set Deformable Models Constrained by Fuzzy Spatial Relation. In Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU, pages 1534–1541, Paris, France, 2006.

B. Batrancourt, J. Atif, O. Nempont, E. Angelini, and I. Bloch. Integrating Information from Pathological Brain MRI into an Anatomo-Functional Model. In 24th IASTED International Multi-Conference on Biomedical Engineering, pages 236–241, Innsbruck, Austria, feb 2006.

C. Hudelot, J. Atif, and I. Bloch. Ontologie de relations spatiales floues pour l’interprétation d’images. In Rencontres francophones sur la Logique Floue et ses Applications, LFA Toulouse, France, oct 2006.

H. Khotanlou, J. Atif, B. Batrancourt, O. Colliot, E. Angelini, and I. Bloch. Segmentation de tumeurs cérébrales et intégration dans un modèle de l’anatomie. In Reconnaissance des Formes et Intelligence Artificielle, RFIA’06, Tours, France, jan 2006.pdf

H. Khotanlou, J. Atif, O. Colliot, and I. Bloch. 3D Brain Tumor Segmentation Using Fuzzy Classification and Deformable Models. In WILF, volume LNAI 3849, pages 312–318, Crema, Italy, sep 2005.pdf

O. Nempont, J. Atif, A. Herment, I. Bloch, and P. Carlier. Graph-Based Segmentation of Muscles on NMR Images: Preliminary Results. In 2005 Workshop on Investigation of Human Muscle Function, Nashville, TN, USA, 2005.

A. Tarault, J. Atif, X. Ripoche, P. Bourdot, and A. Osorio. Classification of radiological exams and organs by belief theory. The 3rd ACS/IEEE International Conference on Computer Systems and Applications, Cairo, Egypt 2005.

J. Atif, X. Ripoche, and A. Osorio. Combined quadratic mutual information to a new adaptive kernel density estimator for non rigid image registration. In SPIE Medical Imaging Conference, San Diego, California, USA, 2004.

X. Ripoche, J. Atif, and A. Osorio. Three dimensional discrete deformable model guided by mutual information for medical image segmentation. In SPIE Medical Imaging Conference, San Diego, California, USA, 2004.

J. Atif, A. Osorio, B. Devaux, and Fran ̧cois-Xavier Roux. Integration of short-distance radiological images, angiography and multimodal image fusion in a stereotaxic software environment for biopsy intervention. In CARS, page 1312, 2004.

Angel Osorio, Olivier Traxer, Jamal Atif, Xavier Ripoche, Mohamed Tligui, and Bernard Gattegno. Percutaneous nephrolithotomies improvement us- ing a new augmented reality system integrated into operating rooms. In CARS, page 1322, 2004.

A. Osorio, B. Devaux, R. Clodic, J. Atif, X. Ripoche, and F-X. Roux. A new Augmented Reality system for brain surgery improvements merging fluoroscopic 2D images, MR and CT 3D segmentations and Talairach atlas. In InfoRAD 2004, Radiological Society of North America RSNA-04, Chicago, USA, 2004.

A. Osorio, O. Traxer, S. Merran, X. Ripoche, and J. Atif. Real time fusion of 2D fluoroscopic and 3D segmented CT images integrated into an Aug- mented Reality system for percutaneous nephrolithotomies (PCNL). In InfoRAD 2004, Radiological Society of North America RSNA-04, Chicago, USA, 2004. Cette Communication a reçu le prix (Cum Laude).

J. Atif, X. Ripoche, and A. Osorio. Non-rigid medical image registra- tion by maximisation of quadratic mutual information. In IEEE 29th Annual Northeast Bioengineering Conference, pages 32–40, Newark NJ, USA, march 2003.

J.Atif, X.Ripoche,C.Coussinet,and A.Osorio. Recalage élastique d’images médicales par maximisation de l’information mutuelle quadratique. In GRETSI, Paris, France, 2003.

A. Mihalcea, X. Ripoche, J. Atif, P.J. Valette, and A. Osorio. A new PC based software for semi automatic liver segmentation. Clinical study for preoperative tumor localization. In InfoRAD 2003, Radiological Society of North America RSNA-03, Chicago, USA, 2003.

A. Osorio, O. Traxer, S. Merran, X. Ripoche, and J. Atif. 3D reconstruction and instant volume measurement of complex renal calculi: application to percutaneous nephrolithotomy. In InfoRAD 2003, Radiological Society of North America RSNA-03, Chicago, USA, 2003. Cette Communication a reu le prix (Certificate of merit).

O. Traxer, A. Osorio, S. Merran, J. Atif, X. Ripoche, and M. Tligui. An augmented reality system for percutaneous nephrolithotomy. In In- foRAD 2003, Radiological Society of North America RSNA-02, Chicago, USA, 2003. Cette Communication a reçu le prix (Certificate of merit).

V. Servois, A. Osorio, and Atif. A new pc based software for prostatic 3d segmentation and volume measurement. application to permanent prostate brachytherapy (PPB) evaluation using ct and mr images fusion. In In- foRAD 2002, Radiological Society of North America RSNA-02, Chicago, USA, 2002.