9931 search results - page 336 / 1987 » Generative Modeling by PRISM |
187
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
165
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
163
click to vote
SDM
2004
SIAM
15 years 7 months ago
2004
SIAM
How does a `normal' computer (or social) network look like? How can we spot `abnormal' sub-networks in the Internet, or web graph? The answer to such questions is vital ...
159
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Latent Dirichlet allocation is a fully generative statistical language model that has been proven to be successful in capturing both the content and the topics of a corpus of docum...
156
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We introduce a generative probabilistic document model based on latent Dirichlet allocation (LDA), to deal with textual errors in the document collection. Our model is inspired by...