BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20231114T100000
DTEND;TZID=Europe/Paris:20231114T110000
DTSTAMP:20260423T003154
CREATED:20231013T150524Z
LAST-MODIFIED:20231106T092456Z
UID:11283-1699956000-1699959600@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Bornes Inférieures et Séparations pour la Compilation de Connaissances Bottom-Up »\, Alexis de Colnet (CRIL\, Univ. Lens)
DESCRIPTION:La compilation de connaissances est un domaine de l’informatique qui étudie les différentes classes de représentations pour les fonctions\, et les algorithmes permettant de passer d’une classe à l’autre. Dans cette présentation\, on s’intéresse à l’approche de compilation dite bottom-up (ascendante) pour les fonctions Booléennes données comme des formules CNF. Cette approche permet de construire une représentation de la formule – ou de la “compiler” – dans des classes telles que la classe des OBDD (Ordered Binary Decision Diagrams) ou la classe des SDD (Sentential Decision Diagrams). Pour compiler une formule CNF\, l’approche bottom-up compile des sous-formules de la CNF et combine les résultats de ces compilations intermédiaires. Il est cependant possible que l’espace nécessaire pour stocker ces résultats intermédiaires soit beaucoup plus grand que l’espace nécessaire pour stocker à la fois la CNF d’entrée et sa représentation en sortie de compilation. Dans ce cas la compilation est jugée inefficace. Nous présentons des bornes inférieures exponentielles pour la compilation bottom-up de formules CNF ayant pourtant des petites représentations dans les classes OBDD ou SDD. Nous décrivons également différentes variantes de compilation bottom-up et comparons leur efficacité.
URL:https://www.greyc.fr/event/seminaire-algorithmique-alexis-de-colnet-cril-univ-lens/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR