Keywords
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Keywords » - entrée « Data structure »
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.
Data storage equipment < Data structure < Data structures  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][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
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
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
000C84 (1996) C. Lynch [France] ; P. Strogova [France]PATCH graphs : An efficient data structure for complementation of finitely presented groups
000D01 (1996) C. Hintermeier [France] ; H. Kirchner [France] ; P. D. Mosses [Danemark]Combining algebraic and set-theoretic specifications

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/KwdEn.i -k "Data structure" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Data structure" \
         | 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=    KwdEn.i
   |clé=    Data structure
}}
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