PascalFr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « PascalFr.i » - entrée « Sémantique »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Sélectivité < Sémantique < Sémantique algébrique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 62.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
000444 (2005) Olivier Menard [France] ; Frédéric Alexandre [France] ; Hervé Frezza-Buet [France]Towards word semantics from multi-modal acoustico-motor integration : Application of the bijama model to the setting of action-dependant phonetic representations
000461 (2005) Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France]Querying a bioinformatic data sources registry with concept lattices
000464 (2005) Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]Probabilistic polynomial-time semantics for a protocol security logic
000476 (2005) Francois Lamarche [France] ; Lutz Strassburger [Allemagne]Naming proofs in classical propositional logic
000485 (2005) Claire Gardent [France] ; Yannick Parmentier [France]Large scale semantic construction for tree adjoining grammars
000489 (2005) Djamé Seddah [France] ; Bertrand Gaiffe [France]How to build argumental graphs using TAG shared forest : A view from control verbs problematic
000516 (2005) Didier Galmiche [France] ; Daniel Mery [France]Characterizing provability in BI's pointer logic through resource graphs
000521 (2005) HUAIZHONG KOU [France] ; Amedeo Napoli [France] ; Yannick Toussaint [France]Application of text categorization to astronomy field
000531 (2005) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]A contract-based approach for monitoring collaborative web services using commitments in the event calculus
000538 (2004) Rim Al Hulou [France] ; Amedeo Napoli [France] ; Emmanuel Nauer [France]Une mesure de similarité sémantique pour la classification de documents par le contenu
000575 (2004) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]Refining mobile UML state machines
000646 (2003) XML et les objets : la voie vers le web sémantique
000647 (2003) Jérome Euzenat [France] ; Amedeo Napoli [France] ; Jean-Francois Baget [France]XML et les objets (objectif XML)
000653 (2003) Alexandre Delteil [France] ; Catherine Faron [France] ; Rose Dieng [France]Le modèle des graphes conceptuels pour le web sémantique: Extensions de RDF et RDFS basées sur le modèle des graphes conceptuels
000657 (2003) Abdalhmed Maran [France] ; Dominique Marcadet [France]De UML vers les schémas XML
000676 (2003) Caroline Brun [France] ; Marc Dymetman [France] ; Eric Fanchon [France] ; Stanislas Lhomme [France] ; Sylvain Pogodalla [France]Semantically-based text authoring and the concurrent documentation of experimental protocols
000696 (2003) Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie]Imperative object-based calculi in co-inductive type theories
000705 (2003) Jürgen Stuber [France] ; Mark Van Den Brand [Pays-Bas]Extracting mathematical semantics from LATEX documents
000707 (2003) Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]Environments for term rewriting engines for free!
000761 (2002) Amalia Todirascu [France] ; Laurent Romary [France] ; Dalila Bekhouche [France]Vulcain: An ontology-based information extraction system
000762 (2002) Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]Using automated induction-based theorem provers for reasoning about concurrent systems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i -k "Sémantique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i  \
                -Sk "Sémantique" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    PascalFr.i
   |clé=    Sémantique
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022