FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.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

List of associated Author.i

Nombre de
documents		Descripteur
4Olivier Bournez
2Abdelkader Lahmadi
2Dominique Larchey-Wendling
2Florent Garnier
2Laurent Andrey
2Olivier Festor
2Salvatore Tabbone
2Véronique Cortier
1Abdel Belaïd
1Abdelmajid Ben Hamadou
1Alex C. Kot
1Andrea Cerri
1Ante Derek
1Antoine Joux
1Anupam Datta
1Bogdan Warinschi
1Christian Viard-Gaudin
1Claude Godart
1Claude Kirchner
1Damien Stehle
1Daniela Giorgi
1Daoud Ait-Kadi
1David Pointcheval
1David W. Ritchie
1Didier Galmiche
1Dominique Cansell
1Dominique Méry
1Douglas Aberdeen
1Ernest Valveny
1Eugen Zalinescu
1Faouzi Ghorbel
1Federico Tomassini
1Florence Le Ber
1Florent Teichteil-Konigsbuch
1Frcdcric Alexandre
1Freek Stulp
1Frédéric Sur
1GUO XIAN TAN
1Gaurav Goel
1Gregory Kucherov
1Hazel Everett
1Hubert Cecotti
1Hyeon-Suk Na
1JINSHENG GAO
1Jean-Charles Faugere
1Jean-Franois Mari
1Jean-Raymond Abrial
1Jens Gustedt
1John C. Mitchell
1Joseph Di Martino
1Karim Baïna
1Laurent Bougrain
1Laurent Noe
1Marie-Claude Portmann
1Mathieu Hoyrup
1Mathieu Turuani
1Michaël Rusinowitch
1Mikhail Roytberg
1Nazim Fates
1Olivier Buffet
1Olivier Chevassut
1Olivier Devillers
1Olivier Sigaud
1Oriol Ramos Terrades
1Pablo Muse
1Patrick Fabiani
1Pierre-Alain Fouque
1Pierrick Gaudry
1Sabine Barrat
1Sylvain Lazard
1Sylvain Petitjean
1Szilard Vajda
1Thierry Paquet
1Vida Dujmovic
1Violeta I. Perez-Nueno
1Vitaly Shmatikov
1Walid Gaaloul
1Wissal Drira
1Xavier Goaoc
1Yousri Kessentini
1ZOUHOUR NEJI BEN SALEM

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/FC03.fr.i -k "Approche probabiliste" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.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=    FC03.fr.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