Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 stream < Data structure < Data structures  Facettes :

List of bibliographic references indexed by Data structure

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]
Ident.Authors (with country if any)Title
001692 (2013) Edouard Klein [France] ; Bilal Piot [France] ; Matthieu Geist [France] ; Olivier Pietquin [France]Classification structurée pour l'apprentissage par renforcement inverse
002810 (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
002815 (2011) Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]Automatic decidability and combinability
005364 (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
005483 (2006) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]Expressivity Properties of Boolean BI Through Relational Models
005583 (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
005611 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
006170 (2005) Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Towards Synchronizing Linear Collaborative Objects with Operational Transformation
006288 (2005) Silvio Ranise ; Christophe Ringeissen ; Calogero G. ZarbaCombining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
006291 (2005) Didier Galmiche [France] ; Daniel Méry [France]Characterizing Provability in BI ’s Pointer Logic Through Resource Graphs
006365 (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
007B43 (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
008823 (2002) Didier Galmiche [France] ; Daniel Méry [France]Connection-Based Proof Search in Propositional BI Logic
008895 (2002) Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni]Resource tableaux
009279 (2001) Horatiu Cirstea [France]Specifying Authentication Protocols Using Rewriting and Strategies
009E47 (2000) Gregory Kucherov [France] ; Michaël Rusinowitch [France]Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
00AA92 (1999) J.-F. Collard [France]Analyse des définitions visibles : état de l'art et applications en parallélisation automatique
00B239 (1998) E. A. Cichon [France] ; E. Tahhan Bittar [France]Ordinal recursive bounds for Higman's theorem
00B306 (1998) François Bertault [France] ; Gregory Kucherov [France]Visualization of dynamic automata using Padnon
00C041 (1996) Christopher Lynch [France] ; Polina Strogova [France]PATCH Graphs: An efficient data structure for completion of finitely presented groups
00C081 (1996) Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter 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/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Data structure" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Data structure" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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