4451 search results - page 400 / 891 » Continuous model synthesis |
208
click to vote
IHI
2010
15 years 1 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
208
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
189
click to vote
SCAI
2008
15 years 8 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
179
click to vote
CSDA
2010
15 years 7 months ago
2010
We propose a model for a point-referenced spatially correlated ordered categorical response and methodology for estimation of model parameters. Models and methods for spatially co...
179
click to vote
JCP
2008
15 years 6 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...