Jean VI, 22-24, un problème de critique textuelle ?
نویسندگان
چکیده
منابع مشابه
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
In this paper, we deal with the satisfiability problem for Systems of constraints over hereditarily finite sets This problem is central for integrating sets in programming languages, and particularly for constraint logic programming languages The approach we propose hère is based on reducing Systems of set constraints into Systems ofhnear integer equalities and inequahties (with bounded domain)...
متن کاملComparaison de différentes formulations de conception de réseaux pour un problème de transport de fret avec gestion de véhicules
Susann Schrenk * — Teodor Gabriel Crainic ** — Van-Dat Cung* — Gerd Finke* * G-SCOP, Laboratoire des Sciences pour la Conception, l’Optimisation et la Production , INPG-UJF-CNRS, 46, avenue Félix Viallet, 38031 Grenoble, France. susann.schrenk(van-dat.cung,gerd.finke)@g-scop.grenoble-inp.fr ** Département management et technologie et Centre de recherche interuniversitaire sur les réseaux d’entr...
متن کاملUn algorithme GRASP pour le problème de planification de techniciens et d'interventions pour les télécommunications
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملOptimisation de la pertinence dans un SRI: Un problème multi-modal approché sous l'angle de la génétique
This paper presents a genetic relevance optimisation process performed in an information retrieval system. The process uses both genetic technique for solving multimodal problems witch is namely niching, and query reformulation techniques commonly used in information retrieval. Niching technique allows the process to reach different relevance regions of the document space. Query reformulation t...
متن کاملRecherche d'information textuelle et phonétique pour le contrôle de l'étiquetage automatique d'émissions dans un flux télévisuel
In 2007, Naturel (Naturel, 2007) developed a method which, given a segmented video stream, associated a label with each segment. However, this method did not automatically check the accuracy of the results obtained. In this paper we propose to control these results, by taking each segment, and associating the corresponding phonetic or textual transcription of the soundtrack with descriptions ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Laval théologique et philosophique
سال: 1978
ISSN: 0023-9054,1703-8804
DOI: 10.7202/705685ar