4962 search results - page 422 / 993 » Stochastic Model Checking |
114
click to vote
DPHOTO
2010
15 years 5 months ago
2010
We describe the procedure to evaluate the image quality of a camera in terms of texture preservation. We use a stochastic model coming from stochastic geometry, and known as the d...
109
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The paper studies the problem of distributed static parameter (vector) estimation in sensor networks with nonlinear observation models and imperfect inter-sensor communication. We...
117
click to vote
PE
2006
Springer
15 years 3 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
139
click to vote
TIM
2011
14 years 11 months ago
2011
—Haptic tactile feedback is a widely used and effective technique in virtual reality applications. When an object’s surface is explored by stroking it using fingers, finger n...
112
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...