Sciweavers

1120 search results - page 132 / 224
» Eager Markov Chains
Sort
View
ICCS
2007
Springer
16 years 15 days ago
Complexity of Monte Carlo Algorithms for a Class of Integral Equations
In this work we study the computational complexity of a class of grid Monte Carlo algorithms for integral equations. The idea of the algorithms consists in an approximation of the ...
Ivan Dimov, Rayna Georgieva
TACAS
2007
Springer
110views Algorithms» more  TACAS 2007»
16 years 14 days ago
Counterexamples in Probabilistic Model Checking
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
Tingting Han, Joost-Pieter Katoen
TELETRAFFIC
2007
Springer
16 years 14 days ago
Performance Analysis of Peer-to-Peer Storage Systems
This paper evaluates the performance of two schemes for recovering lost data in a peer-to-peer (P2P) storage systems. The first scheme is centralized and relies on a server that r...
Sara Alouf, Abdulhalim Dandoush, Philippe Nain
ACSC
2006
IEEE
16 years 13 days ago
Segregated failures model for availability evaluation of fault-tolerant systems
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. M...
AVSS
2006
IEEE
16 years 13 days ago
Human Face Reconstruction Using Bayesian Deformable Models
This paper presents a Bayesian framework for 3D facial reconstruction. The framework iteratively deforms a generic face mesh to fit a set of range points representing a face. The...
George Mamic, Clinton Fookes, Sridha Sridharan