نتایج جستجو برای: constructing consistant

تعداد نتایج: 50602  

Journal: :The Bulletin of Symbolic Logic 2022

Abstract We show that, assuming the Axiom of Determinacy, every non-selfdual Wadge class can be constructed by starting with those level $\omega _1$ (that is, ones that are closed under Borel preimages) and iteratively applying operations expansion separated differences. The proof is essentially due to Louveau, it yields at same time a new theorem Van Wesep (namely, expressed as result Hausdorf...

2008
Cécile Murat Vangelis Th. Paschos

Nous étudions le problème de coloration probabiliste (PCOLOR) sous une stratégie de modification consistant, pour une solution a priori C , de supprimer les sommets qui son absents de C . Nous calculons la fonction objectif associée avec cette stratégie, donnons des bornes pour sa valeur et caractérisons la complexité algorithmique du calcul de la solution a priori optimal. Nous démontrons que ...

1988
François Bry Hendrik Decker

Rfesuml Si une base de donnfees est astreinte ä satisfaire des contraintes d'intfegritfe, cette proprifetfe doit fetre vferififee ä chaque modification de faits ou de rfegles de dfeduction. Des mfethodes de maintien de rintfegritfe ont fetfe proposfees, qui simplifient Evaluation des contraintes d'intfegritfe dans une base de donnfees mise ä jour. Ces mfethodes tirent partie de rintfegritfe de ...

2007
Christine Jacob Jean Peccoud

Inf erence de la taille initiale d'un processus de branchement supercritique a partir d'observations binomiales migrantes Inference on the initial size of a supercritical branching process from migrating binomial observations Titre courant : Estimation dans un processus de branchement avec migration | 2. R esum e | On consid ere le processus de branchement g en er e par une loi de descendance F...

2012
Mauricio Araya-López Vincent Thomas Olivier Buffet

Résumé : L’apprentissage par renforcement bayésien basé modèle (BRL) permet une formalisation saine du problème consistant à agir optimalement face à un environnement inconnu, c’est-à-dire en évitant le dilemme exploration-exploitation. Toutefois, les algorithmes s’attaquant explicitement au BRL souffrent d’une telle explosion combinatoire qu’un grand nombre de travaux repose sur des algorithme...

1995
Bruno SALVY Sergey Yu Bruno Salvy

We study a problem of classiication of linear homogeneous second-order ODE's with polynomial coeecients based on qualitative properties of singularities. The corresponding combinatorial problem of counting the number of classes is then solved in terms of the initial number of singularities. Un probl eme combinatoire en classiication des EDO lin eaires du second ordre R esum e Nous etudions un p...

Journal: :Revue d'Intelligence Artificielle 2010
Frederic Maris Pierre Régnier

RÉSUMÉ. Un des challenges actuels de la planification est la prise en compte de la dimension temporelle. Dans ce papier, nous présentons une approche simple qui permet de résoudre des problèmes temporellement expressifs, c'est-à-dire des problèmes pour lesquels toutes les solutions nécessitent la concurrence des actions. Notre planificateur TLP-GP combine les avantages de la recherche de GRAPHP...

2014

Reprint requests to Dr. L.M. Sabet, Health Sciences Centre, Department of Pathology, London, Canada N6A 5CI. The pathophysiological effects and clinical features of overdosage with tricyclic antidepressants have been described in detail (Moraguerra, 1977; Petit, 1977; Bilgi, 1979). However, published accounts of morphological changes in the brain are scarce and lacking in detail. We are not awa...

2014
Bilal Piot Matthieu Geist Olivier Pietquin

Large Markov Decision Processes are usually solved using Approximate Dynamic Programming methods such as Approximate Value Iteration or Approximate Policy Iteration. The main contribution of this paper is to show that, alternatively, the optimal state-action value function can be estimated using Difference of Convex functions (DC) Programming. To do so, we study the minimization of a norm of th...

2008
Germain Forestier Sébastien Derivaux Cédric Wemmert Pierre Gançarski

Résumé. Les approches de fouille et d’interprétation d’images consistant à considérer les pixels de façon indépendante ont montré leurs limites pour l’analyse d’images complexes. Pour résoudre ce problème, de nouvelles méthodes s’appuient sur une segmentation préalable de l’image qui consiste en une agrégation des pixels connexes afin de former des régions homogènes au sens d’un certain critère...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید