Sciweavers

296 search results - page 8 / 60
» Numerical integration in logistic-normal models
Sort
View
DSN
2007
IEEE
15 years 4 months ago
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models
In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This appr...
Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, K...
FASE
2009
Springer
15 years 4 months ago
Scalable Analysis of Scalable Systems
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
Allan Clark, Stephen Gilmore, Mirco Tribastone
76
Voted
ICCV
2007
IEEE
15 years 11 months ago
A Globally Optimal Algorithm for Robust TV-L1 Range Image Integration
Robust integration of range images is an important task for building high-quality 3D models. Since range images, and in particular range maps from stereo vision, may have a substa...
Christopher Zach, Thomas Pock, Horst Bischof
CPE
2003
Springer
149views Hardware» more  CPE 2003»
15 years 2 months ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
CVPR
2004
IEEE
15 years 11 months ago
A Fast Multigrid Implicit Algorithm for the Evolution of Geodesic Active Contours
Active contour models are among the most popular PDE-based tools in computer vision. In this paper we present a new algorithm for the fast evolution of geodesic active contours an...
George Papandreou, Petros Maragos