Nous décrivons une nouvelle approche destinée à transformer des programmes Prolog en programmes plus efficaces tout en gardant l’équivalence opérationnelle. Notre approche repose sur l’introduction d’équations entre termes, ce qui permet une représentation plus efficace des buts. Notre optimisation ne peut pas être obtenue par les méthodes courantes : en particulier, elle élimine toutes les var...

dans le monde actuel de la littérature, la traduction est vue comme un des éléments essentiels qui ne se démente pas ; et cela à juste titre, car c’est grâce à la traduction qu’une œuvre littéraire passe d’une langue à l’autre. mais ce passage est loin d’être une simple transplantation : pour conserver toutes les dimensions d’une œuvre- langagière, culturelle et ….- la traduction a beaucoup à f...

RÉSUMÉ. Le langage de requête est l’indispensable interface entre l’utilisateur et l’outil de recherche. Simplifié au maximum dans les cas où les moteurs indexent essentiellement des documents plats, il devient fort complexe lorsqu’il s’adresse à des documents structurés et qu’il s’agit de définir des contraintes portant à la fois sur la structure et le contenu. L’approche icidécrite propose d’...

Résultats : La littérature publiée a été récupérée par l’intermédiaire de recherches menées dans PubMed et The Cochrane Library le 8 juillet 2013 au moyen d’un vocabulaire contrôlé (« parvovirus » et « pregnancy ») et de mots clés (« parvovirus », « infection », « pregnancy », « hydrops ») appropriés. Les résultats ont été restreints aux analyses systématiques, aux essais comparatifs randomisés...

We describe here a method to use a graph language modeling approach for image retrieval and image categorization. Since photographic images are 2D data, we first use image regions (mapped to automatically induced concepts) and then spatial relationships between these regions to build a complete image graph representation. Our method deals with different scenarios, where isolated images or group...

Submitted by Emmanuel Lemoine on Mon, 10/06/2014 18:24 Titre New Extended and Quantified Constraints in XML Schema Type de publication Communication Type Communication avec actes dans un congrès Année 2009 Langue Anglais Date du colloque 2009 Titre du colloque International Conference on Agents and Artificial Intelligence, ICAART 2009 Titre des actes ou de la revue Agents and Artificial Intelli...

Titre Obese humans with nonalcoholic fatty liver disease display alterations in fecal microbiota and volatile organic compounds Type de publication Article de revue Auteur Boursier, Jérôme [1], Rawls, John F [2], Diehl, Anna Mae [3] Pays Etats-Unis Editeur Elsevier Science Type Article scientifique dans une revue à comité de lecture Année 2013 Langue Anglais Date Juil. 2013 Numéro 7 Pagination ...

Titre Cryoablation of two accessory pathways in a single session: Appraisal of a direct cryoablation approach in right septal locations Type de publication Article de revue Auteur Alexandre, Joachim [1], Foucault, Anthony [2], Scanu, Patrice [3] Editeur Elsevier Masson Type Article scientifique dans une revue à comité de lecture Année 2011 Langue Anglais Date 2011/11 Numéro 11 Pagination 593 59...

Submitted by Emmanuel Lemoine on Thu, 01/30/2014 14:36 Titre On the control of max-plus linear system subject to state restriction Type de publication Article de revue Auteur Maia, Carlos-Andrei [1], Andrade, C. R [2], Hardouin, Laurent [3] Editeur Elsevier Type Article scientifique dans une revue à comité de lecture Année 2011 Langue Anglais Date 2011/05 Numéro 5 Pagination 988 992 Volume 47 T...

Submitted by claire.leroy on Tue, 04/28/2015 12:07 Titre Two-stage reconstruction of post-traumatic segmental tibia bone loss with nailing Type de publication Article de revue Auteur Apard, Thomas [1], Bigorre, N. [2], Cronier, P. [3], Duteille, F. [4], Bizot, Pascal [5], Massin, Philippe [6] Editeur Elsevier Masson Type Article scientifique dans une revue à comité de lecture Année 2010 Langue ...