Showing 1 - 4 results of 4 for search 'ISOMORPHISMS' Narrow Search
Search Tools: Email this Search — Save search to account
1
Conference
Programmation linéaire en nombres entiers pour la recherche d'isomorphisme de sous-graphe : Application à la recherche de symboles graphiques

Authors: Le Bodic, Pierre, Héroux, Pierre, Adam, Sébastien, Locteau, Hervé, Bilong Mboumba, Jean Noel, Lecourtier, Yves

Contributors: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Equipe Apprentissage (DocApp - LITIS), Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Querying Graphics through Analysis and Recognition (QGAR), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: Actes du 11ème Colloque International Francophone sur l'Ecrit et le Document ; Colloque International Francophone sur l'Écrit et le Document - CIFED 2010 ; https://hal.science/hal-00492174 ; Colloque International Francophone sur l'Écrit et le Document - CIFED 2010, Mar 2010, Sousse, Tunisie. pp.153-168

Subject Terms: Détection de symboles, Isomorphisme de sous-graphes, subgraph isomorphism, integer linear programming, Programmation linéaire en nombres entiers, Symbol spotting, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing

Subject Geographic: Sousse, Tunisia

Relation: hal-00492174; https://hal.science/hal-00492174; https://hal.science/hal-00492174/document; https://hal.science/hal-00492174/file/cifed2010_submission_4.pdf

Availability: https://hal.science/hal-00492174
https://hal.science/hal-00492174/document
https://hal.science/hal-00492174/file/cifed2010_submission_4.pdf


Save to List
2
Academic Journal
An integer linear program for substitution-tolerant subgraph isomorphism and its use for symbol spotting in technical drawings

Authors: Le Bodic, Pierre, Héroux, Pierre, Adam, Sébastien, Lecourtier, Yves

Contributors: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Equipe Apprentissage (DocApp - LITIS), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH)

Superior Title: ISSN: 0031-3203 ; Pattern Recognition ; https://hal.science/hal-00726076 ; Pattern Recognition, 2012, 45 (12), pp.4214-4224.

Subject Terms: Substitution-tolerant subgraph isomorphism, Integer linear programming, Symbol spotting, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing

Relation: hal-00726076; https://hal.science/hal-00726076; https://hal.science/hal-00726076/document; https://hal.science/hal-00726076/file/article.pdf

Availability: https://hal.science/hal-00726076
https://hal.science/hal-00726076/document
https://hal.science/hal-00726076/file/article.pdf


Save to List
3
Report
Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates

Authors: Kumar, Amrit, Fouque, Pierre-Alain, Genet, Thomas, Tibouchi, Mehdi

Contributors: Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'informatique de l'école normale supérieure (LIENS), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), NTT Secure Platform Laboratories Tokyo, Nippon Telegraph & Telephone Corporation - NTT, Celtique

Superior Title: https://hal.science/hal-00715726 ; 2012.

Subject Terms: Curry-Howard Isomorphism, cryptography, assisted proof, proof delegation, proof terms, Algorithms, security, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-00715726; https://hal.science/hal-00715726; https://hal.science/hal-00715726/document; https://hal.science/hal-00715726/file/RapportHal.pdf

Availability: https://hal.science/hal-00715726
https://hal.science/hal-00715726/document
https://hal.science/hal-00715726/file/RapportHal.pdf


Save to List