6253 search results - page 1039 / 1251 » Use Case Modeling Guidelines |
144
click to vote
ICFEM
2007
Springer
15 years 8 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...
141
click to vote
NIPS
2007
15 years 5 months ago
2007
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...
106
click to vote
WCE
2007
15 years 5 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
163
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
126
click to vote
MP
2006
15 years 4 months ago
2006
Monte Carlo methods have been used extensively in the area of stochastic programming. As with other methods that involve a level of uncertainty, theoretical properties are required...