757 search results - page 75 / 152 » Monte Carlo Model Checking |
127
click to vote
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
144
click to vote
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...
95
Voted
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
The dynamic hierarchical Dirichlet process (dHDP) is developed to model the timeevolving statistical properties of sequential data sets. The data collected at any time point are r...
105
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Blind multiplicative watermarking schemes for speech signals using wavelets and discrete cosine transform are presented. Watermarked signals are modeled using a generalized Gaussi...
100
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
- This paper presents a simulation tool targeted specifically at bang-bang type phase locked loop systems. The aim of this simulator is to quickly and accurately predict important ...