Searching for "La "cr�ativit� calculatoire" et les heuristiques cr�atives en synth�se de pr�dicats multiples." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

63,959 documents found, showing 1 through 10. Next 10 →

unknown title
by Lionel Vaux — 2007
…Résumé de la thèse: λ-calcul di érentiel et logique classique: interactions calculatoires Lionel…
Add To MetaCart

Enjeux Et Avancées De La Théorie Algorithmique Des Nombres
by François Morain — 1992
… la th'eorie des nombres et en particulier l'arithm'etique dans ses aspects calculatoires. Pour r…
Add To MetaCart

Taxinomie Des Mcanismes De Connexion
by Pour La Communication, Taxinomie Des, Mécanismes De Connexion, Daniel Salber, Joëlle Coutaz — 1994
… codée par le système et est une aide pour la collaboration. De même, les outils de vote sont des outils…
Add To MetaCart

RAIRO Operations Research Will be set by the publisher ALGORITHMES HYBRIDES GÉNÉRIQUES POUR LA
by Résolution De, Problèmes De, Satisfaction De, Hervé Deleau, Jin-kao Hao, Frédéric Saubion
… programmation linéaire en nombre entier et la programmation par contraintes pour traiter les problèmes de…
Add To MetaCart

Induction Descriptive: Un Nouveau Modèle Pour La Découverte De Connaissances
by Nicolas Lachiche
… exactement les memes propri'et'es. 3.2 Les approches existantes La plupart des approches existantes de la g'en…
Add To MetaCart

Description, mise en oeuvre et applications de la norme MPEG4-SA
by Guillaume Fayemendy, Jean-Bernard Rault, Xavier Rodet, Xavier Rodet Ircam — 2000
… alatoires, de gnrateur d'enveloppes et permettaient en les interconnectant la gnration algorithmique de…
Add To MetaCart

Polarisation Des Preuves Classiques Et Renversement
by Myriam Quatrini, Lorenzo Tortora De Falco, Lorenzo Tortora, De Falco — 1996 — Sciences, Paris t.322, Serie I
… formules t et q de LK tq se refl`ete dans la dichotomie entre les exponentielles "?" et "!" de LL. La…
Cited by 1 (0 self) – Add To MetaCart

Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants
by Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn — 1996
… une mathode effective pour les construire en utilisant les constructeurs de base N/1 et Cons. De…
Cited by 9 (0 self) – Add To MetaCart

LA, Permutations, and the Hajos Calculus
by Michael Soltys Department, Michael Soltys
…LA, Permutations, and the Hajos Calculus Michael Soltys Department of Computing and Software, Mc…
Add To MetaCart

Une Application Possible : La
by Localisation Des Activits, Des Épilepsies Partielles
… expériences menées avec les techniques et les méthodes de la localisation des sources de l’EEG et/ou de la MEG…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB