4341 search results - page 343 / 869 » Quantitative Model checking |
203
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...
171
click to vote
ACL
2012
13 years 9 months ago
2012
We present a novel approach for building verb subcategorization lexicons using a simple graphical model. In contrast to previous methods, we show how the model can be trained with...
132
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper, we introduce a simple analytical modeling approach for computing service unavailability due to long response time, for infinite and finite single-server systems a...
171
click to vote
ANSS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
189
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
—The paper is focused on the problem of aggregation of probability distribution applicable for parallel Bivariate Marginal Distribution Algorithm (pBMDA). A new approach based on...