4127 search results - page 354 / 826 » Evaluation methods for topic models |
193
click to vote
TIP
2002
15 years 6 months ago
2002
Abstract--This paper presents a new wavelet-based image denoising method, which extends a recently emerged "geometrical" Bayesian framework. The new method combines three...
192
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
194
click to vote
AMAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
233
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
205
click to vote
MIR
2006
ACM
16 years 1 months ago
2006
ACM
We propose a robust scene recognition framework using scene context information for multimedia contents. Multimedia contents consist of scene sequences that are more likely to hap...