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 « Approche probabiliste »
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.
Approche multi-flux < Approche probabiliste < Approximation  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 35.
[20-40] [0 - 20][0 - 35]
Ident.Authors (with country if any)Title
000421 (2006) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]A bottom-up workflow mining approach for workflow applications analysis
000459 (2005) Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]Refinement and reachability in Event―B
000463 (2005) Olivier Bournez [France] ; Florent Garnier [France]Proving positive almost-sure termination
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
000490 (2005) Hubert Cecotti [France] ; Szilard Vajda [France] ; Abdel Belaïd [France]High performance classifiers combination for handwritten digit recognition
000507 (2005) Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]Computationally sound, automated proofs for security protocols
000517 (2005) Dominique Larchey-Wendling [France]Bounding resource consumption with Gödel-Dummett logics
000526 (2005) Gregory Kucherov [France] ; Laurent Noe [France] ; Mikhail Roytberg [Russie]A unifying framework for seed sensitivity and its application to subset seeds
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
000671 (2003) Jean-Franois Mari [France] ; Florence Le Ber [France]Temporal and spatial data mining with second-order hidden Markov models
000677 (2003) Olivier Bournez [France] ; Mathieu Hoyrup [France]Rewriting Logic and probabilities
000724 (2003) Jean-Charles Faugere [France] ; Antoine Joux [France]Algebraic cryptanalysis of hidden field equation (HFE) cryptosystems using Gröbner bases
000779 (2002) Olivier Bournez [France] ; Claude Kirchner [France]Probabilistic rewrite strategies. Applications to ELAN
000785 (2002) Joseph Di Martino [France]On the use of high order derivatives for high performance alphabet recognition
000859 (2001) Daoud Ait-Kadi [France] ; JINSHENG GAO [France] ; Marie-Claude Portmann [France]Minimisation des couts de detection de pannes a partir des coupes minimales du diagramme de fiabilite

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 "Approche probabiliste" 

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