77016 search results - page 444 / 15404 » Modeling Modeling |
191
click to vote
SPIN
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
166
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
169
Voted
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...
210
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
209
click to vote
ACL
2010
15 years 4 months ago
2010
This paper establishes a connection between two apparently very different kinds of probabilistic models. Latent Dirichlet Allocation (LDA) models are used as "topic models&qu...