Sciweavers

2570 search results - page 289 / 514
» Reliability Modeling Using UML
Sort
View
218
Voted
ARTS
1999
Springer
15 years 8 months ago
ProbVerus: Probabilistic Symbolic Model Checking
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
148
Voted
JMLR
2010
129views more  JMLR 2010»
14 years 10 months ago
Expectation Truncation and the Benefits of Preselection In Training Generative Models
We show how a preselection of hidden variables can be used to efficiently train generative models with binary hidden variables. The approach is based on Expectation Maximization (...
Jörg Lücke, Julian Eggert
102
Voted
CVPR
2007
IEEE
16 years 5 months ago
On-the-fly Object Modeling while Tracking
To implement a persistent tracker, we build a set of viewdependent object appearance models adaptively and automatically while tracking an object under different viewing angles. T...
Zhaozheng Yin, Robert T. Collins
149
Voted
WCNC
2010
IEEE
15 years 7 months ago
Modelling Angle Spread Autocorrelations and the Impact on Multi-User Diversity Gains
—One way of modelling the wireless channel is in a statistical manner, based on a few parameters describing the characteristics of the environment. In most current wireless chann...
Niklas Jalden, Per Zetterberg, Björn E. Otter...
ESEM
2009
ACM
15 years 10 months ago
Scope error detection and handling concerning software estimation models
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
Salvatore Alessandro Sarcià, Victor R. Basi...