5227 search results - page 89 / 1046 » Enterprise modeling using class and instance models |
130
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
126
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
An overview is provided of recent developments in the use of latent class (LC) models in social science research. Special attention is paid to the application of LC analysis as a f...
134
Voted
EL
2008
15 years 4 months ago
2008
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...
150
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
We consider the multi-class classification problem, based on vector observation sequences, where the conditional (given class observations) probability distributions for each class...
146
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...