proactiveness < probabilistic < probabilities

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]

Ident.	Authors (with country if any)	Title
000523 (2010)	Aaron D. Jaggard [États-Unis] ; Catherine Meadows [États-Unis] ; Michael Mislove [États-Unis] ; Roberto Segala [Italie]	Reasoning about Probabilistic Security Using Task-PIOAs
000823 (2009)	Irma Veldman [Pays-Bas] ; Ander De Keijzer [Pays-Bas] ; Maurice Van Keulen [Pays-Bas]	Compression of Probabilistic XML Documents
000826 (2009)	Spiros Nikolopoulos [Grèce] ; Georgios Th. Papadopoulos [Grèce] ; Ioannis Kompatsiaris [Grèce] ; Ioannis Patras [Royaume-Uni]	An Evidence-Driven Probabilistic Inference Framework for Semantic Image Understanding
000828 (2009)	Marius C. Bujorianu [Royaume-Uni] ; Manuela L. Bujorianu [Royaume-Uni] ; Howard Barringer [Royaume-Uni]	A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
000C01 (2009)	J. Wilke ; E.-O. Bla ; F. C. Freiling ; M. Zitterbart	A Framework for Probabilistic, Authentic Aggregation in Wireless Sensor Networks
000F37 (2008)	Mianyun Chen ; Zheng Kou [République populaire de Chine] ; Yanhong Zhou [République populaire de Chine] ; Xiaoli Qiang [République populaire de Chine]	Human influenza a virus classification using a probabilistic neural network
001761 (2006)	Suzana Andova [Norvège] ; Jos C. M. Baeten [Pays-Bas] ; Tim A. C. Willemse [Pays-Bas]	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
001833 (2005)	Alexander L. Tulupyev ; Sergey I. Nikolenko [Russie]	Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity
001B15 (2005)	F. Siccardi [Italie] ; G. Boni [Italie] ; L. Ferraris [Italie] ; R. Rudari [Italie]	A hydrometeorological approach for probabilistic flood forecast
001B27 (2005)	Jigar Patel [Royaume-Uni] ; W. T. Luke Teacy [Royaume-Uni] ; Nicholas R. Jennings [Royaume-Uni] ; Michael Luck [Royaume-Uni]	A Probabilistic Trust Model for Handling Inaccurate Reputation Sources
001B53 (2004)	Benedikt Bollig [Allemagne] ; Martin Leucker [Suède]	Verifying Qualitative Properties of Probabilistic Programs
001C53 (2004)	Philippe Schnoebelen [France]	The Verification of Probabilistic Lossy Channel Systems
001C77 (2004)	Andrew Miner [États-Unis] ; David Parker [Royaume-Uni]	Symbolic Representations and Analysis of Large Probabilistic Systems
001D30 (2004)	Matthias Kuntz [Allemagne] ; Kai Lampka [Allemagne]	Probabilistic Methods in State Space Analysis
001D31 (2004)	Ana Sokolova [Pays-Bas] ; Erik P. De Vink [Pays-Bas]	Probabilistic Automata: System Types, Parallel Composition and Comparison
001D44 (2004)	Frank Ciesinski [Allemagne] ; Marcus Grö Er [Allemagne]	On Probabilistic Computation Tree Logic
001D70 (2004)	Jeremy Sproston [Italie]	Model Checking for Probabilistic Timed Systems
001F37 (2004)	Natalia L Pez [Espagne] ; Manuel Nú Ez [Espagne]	An Overview of Probabilistic Process Algebras and Their Equivalences
001F52 (2004)	Michael Huth [Royaume-Uni]	An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems
002119 (2003)	Matthew Deighton [Royaume-Uni] ; Maria Petrou [Royaume-Uni, Grèce]	Supervised Segmentation of Volume Textures Using 3D Probabilistic Relaxation
002256 (2003)	Gil Zussman [Israël] ; Uri Yechiali [Israël] ; Adrian Segall [Israël]	Exact Probabilistic Analysis of the Limited Scheduling Algorithm for Symmetrical Bluetooth Piconets

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "probabilistic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "probabilistic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    probabilistic
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024