4127 search results - page 251 / 826 » Evaluation methods for topic models |
171
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
156
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents the use of online Variational Bayes method for online Voice Activity Detection (VAD) in an unsupervised context. In conventional VAD, the final step often rel...
200
click to vote
NFM
2011
15 years 24 days ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
191
click to vote
PE
2011
Springer
15 years 24 days ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
176
click to vote
EMNLP
2007
15 years 7 months ago
2007
In this paper, we study the problem of automatically segmenting written text into paragraphs. This is inherently a sequence labeling problem, however, previous approaches ignore t...