Sciweavers

1599 search results - page 136 / 320
» Probabilistic Analysis of Anonymity
Sort
View
STACS
2005
Springer
15 years 4 months ago
Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
Kousha Etessami, Mihalis Yannakakis
92
Voted
SSS
2009
Springer
128views Control Systems» more  SSS 2009»
15 years 3 months ago
Dependability Engineering of Silent Self-stabilizing Systems
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, H...
86
Voted
BC
2008
134views more  BC 2008»
14 years 11 months ago
Interacting with an artificial partner: modeling the role of emotional aspects
In this paper we introduce a simple model based on probabilistic finite state automata to describe an emotional interaction between a robot and a human user, or between simulated a...
Isabella Cattinelli, Massimiliano Goldwurm, N. Alb...
ENTCS
2007
98views more  ENTCS 2007»
14 years 11 months ago
Evaluating Complex MAC Protocols for Sensor Networks with APMC
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...
Michaël Cadilhac, Thomas Hérault, Rich...
TVCG
2010
183views more  TVCG 2010»
14 years 9 months ago
Exploration and Visualization of Segmentation Uncertainty using Shape and Appearance Prior Information
—We develop an interactive analysis and visualization tool for probabilistic segmentation in medical imaging. The originality of our approach is that the data exploration is guid...
Ahmed Saad, Ghassan Hamarneh, Torsten Möller