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 « Structure donnée »
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.
Structure document < Structure donnée < Structure donnée arborescente  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]
Ident.Authors (with country if any)Title
000037 (2013) Edouard Klein [France] ; Bilal Piot [France] ; Matthieu Geist [France] ; Olivier Pietquin [France]Classification structurée pour l'apprentissage par renforcement inverse
000130 (2011) Nicolas Passat [France] ; Benoît Naegel [France] ; François Rousseau [France] ; Mériam Koob [France] ; Jean-Louis Dietemann [France]Interactive segmentation based on component-trees
000138 (2011) Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]Automatic decidability and combinability
000330 (2006) Rahee Ghurbhurn [France] ; Philippe Beaune [France] ; Hugues Solignac [France]Accès à des sources de données hétérogènes par des processus métiers intégrés
000340 (2006) Otfried Cheong [Corée du Sud] ; Hazel Everett [France] ; Hyo-Sil Kim [Corée du Sud] ; Sylvain Lazard [France] ; René Schott [France]Throwing stones inside simple polygons
000384 (2006) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]Expressivity properties of boolean BI through relational models
000395 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
000445 (2005) Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Towards synchronizing linear collaborative objects with operational transformation
000493 (2005) M. Van Den Brand [Pays-Bas] ; P.-E. Moreau [France] ; J. Vinju [Pays-Bas]Generator of efficient strongly typed abstract syntax trees in Java
000513 (2005) Silvio Ranise [États-Unis] ; Christophe Ringeissen [États-Unis] ; Calogero G. Zarba [États-Unis]Combining data structures with nonstably infinite theories using many-sorted logic
000516 (2005) Didier Galmiche [France] ; Daniel Mery [France]Characterizing provability in BI's pointer logic through resource graphs
000600 (2004) P. E. Moreau [France] ; O. ZendraGC2: A generational conservative garbage collector for the ATerm library
000669 (2003) Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sylvain Petitjean [France]The expected number of 3D visibility events is linear
000775 (2002) Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni]Resource tableaux
000818 (2002) Didier Galmiche [France] ; Daniel Mery [France]Connection-based proof search in propositional BI logic
000881 (2001) Horatiu Cirstea [France]Specifying authentication protocols using rewriting and strategies
000980 (2000) G. Kucherov [France] ; M. Rusinowitch [France]Patterns in words versus patterns in trees : A brief survey and new results
000A57 (1999) J.-F. Collard [France]Analyse des définitions visibles : état de l'art et applications en parallélisation automatique
000A60 (1999) L. Bougrain [France] ; F. AlexandreUnsupervised connectionist algorithms for clustering an environmental data set: a comparison
000B27 (1998) F. Bertault [France] ; G. Kucherov [France]Visualization of dynamic automata using Padnon
000B37 (1998) E. A. Cichon [France] ; E. T. Bittar [France]Ordinal recursive bounds for Higman's theorem

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 "Structure donnée" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i  \
                -Sk "Structure donnée" \
         | 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é=    Structure donnée
}}
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