Mostrando recursos 281 - 300 de 7.475

  1. $rec.titulo

    Echahed, Rachid
    Ce mémoire présente l'étude d'une approche particulière des langages de programmation logico-fonctionnels, fondée sur la logique des clauses de Horn avec égalité. Nous définissons d'abord la syntaxe et la sémantique des programmes que nous considérons. La syntaxe est celle de la logique des clauses de Horn avec égalité. La sémantique est donnée par le plus petit e-modele de Herbrand associe a un programme. Nous nous intéressons ensuite au calcul dans ce langage. Nous proposons pour cela une nouvelle règle appelée sldei-resolution comme seule règle de calcul. Nous montrons sa cohérence, sa complétude ainsi que sa completude forte. La mise en...

  2. Probability as an Alternative to Logic for Rational Sensory–Motor Reasoning and Decision

    Bessière, Pierre

  3. $rec.titulo

    Wu, Yang
    Cette thèse présente la conception d'un accélérateur matériel dédié à la simulation de circuits intégrés. Sur cet accélérateur sont développés un ensemble de logiciels constituant un environnement intégré de simulation. Nous y discutons tout d'abord des concepts de base de la modélisation des circuits intégrés, de la simulation logico-fonctionnelle, de la simulation de pannes, des langages de description du matériel, ainsi que des techniques d'accélération de la simulation de circuits intégrés. Nous présentons ensuite la structure générale de l'accélérateur. Il est basé sur une architecture parallèle : un réseau en anneau sur lequel sont disposées des unités de simulation, où...

  4. Methodology to build fuzzy logic based supervision of hybrid renewable energy systems

    Courtecuisse, Vincent; Robyns, Benoît; Petit, Marc; François, Bruno; Deuse, Jacques
    International audience

  5. Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games

    Aceto, Luca; Damgard, Ivan; Ann Goldberg, Leslie; M. Halldorsson, Magnus; Ingolfsdottir, Anna; Walukiewicz, Igor
    LNCS 5125

  6. A lower bound on web services composition

    Muscholl, Anca; Walukiewicz, Igor
    International audience

  7. Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

    Castéran, Pierre; Bertot, Yves
    Traduction en chinois parue en 2010. Tsinghua University Press. ISBN 9787302208136

  8. On the Complexity of Deciding Call-by-Need

    Durand, Irène,; Middeldorp, Aart
    Rapport Labo

  9. Proof automation for type-logical grammars

    Castéran, Pierre; Moot, Richard; Anoun, Houda
    Rapport de recherche , European Summer School in Logic, Language and Information - 2004

  10. Forest Algebras

    Bojanczyk, Mikolaj; Walukiewicz, Igor
    There are at least as many interesting classes of regular tree lan- guages as there are of regular word languages. However, much less is known about the former ones. In particular, very few decidable char- acterizations of tree language classes are known. For words, most known characterizations are obtained using algebra. With this in mind, the present paper proposes an algebraic framework for classi- fying regular languages of finite unranked labeled trees. If in a transformation semigroup we assume that the set being acted upon has a semigroup structure, then the transformation semi- group can be used to recognize languages...

  11. Geophysical data fusion by fuzzy logic for imaging the mechanical behaviour of mudslides

    Grandjean, Gilles; Malet, Jean-Philippe; Bitri, Adnand; Meric, O.
    International audience

  12. Finding Your Way in a Forest: On Different Types of Trees and Their Properties

    Walukiewicz, Igor
    International audience

  13. Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack B: Algorithms, Automata, Complexity, and Games

    Aceto, Luca; Ann Goldberg, Leslie; Damgard, Ivan; Ingolfsdottir, Anna; M. Halldorsson, Magnus; Walukiewicz, Igor

  14. $rec.titulo

    Morel, Eric
    Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sans mémoire commune dans le cadre du projet PLoSys (Parallel Logic System). L'exécution exploite le parallélisme de manière implicite. Le système repose sur un modèle OU multiséquentiel. Le partage de l'état d'exécution est assuré par copie des données. Le langage Prolog supporté est complet, et intègre les effets de bord classiques du langage. La gestion parallèle fait l'objet d'une étude complète pour préserver la compatibilité avec l'exécution séquentielle du langage Prolog. En particulier, une méthode originale est présentée pour la gestion parallèle des effets de bord. Enfin,...

  15. User Guided High Level Synthesis

    Augé, Ivan; Pétrot, Frédéric
    The User Guided Synthesis approach targets the generation of coprocessor under timing and resource constraints. Unlike other approaches that discover the architecture through a specific interpretation of the source code, this approach requires that the user guides the synthesis by specifying a draft of its data-path architecture. By providing this information, the user can get nearly the expected design in one shot instead of obtaining an acceptable design after an iterative process. Of course, providing a data-path draft limits its use to circuit designers. The approach requires three inputs: The first input is the description of the algorithm to be...

  16. Deciding Nondeterministic Hierarchy of Deterministic Tree Automata

    Niwinski, Damian; Walukiewicz, Igor
    International audience

  17. Difficult configurations -- On the complexity of LTrL

    Walukiewicz, Igor
    International audience

  18. An Interval Decision Diagram Based Firewall

    Christiansen, Mikkel; Fleury, Emmanuel
    This paper explores the use of Interval Decision Diagrams (IDDs) as the central structure of a firewall packet filtering mechanism. This is done by first relating the packet filtering problem to predicate logic, then implementing a prototype which is used in an empirical evaluation. The main benefits of the IDD structure are that it provides access to boolean algebra over filters, efficient classification time, and potentially a compact representation. Results from the empirical evaluation shows that IDDs are scalable in terms of memory usage: a 50,000 rule filter requires only 3MB of memory, and efficient for packet classification: it is...

  19. On modal mu-calculus and Gödel-Löb logic

    Alberucci, Luca; Facchini, Alessandro
    International audience

  20. Program semantics and infinite regular terms

    Courcelle, Bruno
    Présentation de l'utilisation des termes (ou arbres) infinis en sémantique

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.