Sciweavers

4127 search results - page 246 / 826
» Evaluation methods for topic models
Sort
View
167
Voted
FMCAD
2000
Springer
15 years 9 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
ICASSP
2011
IEEE
14 years 9 months ago
Polyphonic audio-to-score alignment based on Bayesian Latent Harmonic Allocation Hidden Markov Model
This paper presents a Bayesian method for temporally aligning a music score and an audio rendition. A critical problem in audio-toscore alignment is in dealing with the wide varie...
Akira Maezawa, Hiroshi G. Okuno, Tetsuya Ogata, Ma...
WWW
2008
ACM
16 years 6 months ago
Online learning from click data for sponsored search
Sponsored search is one of the enabling technologies for today's Web search engines. It corresponds to matching and showing ads related to the user query on the search engine...
Massimiliano Ciaramita, Vanessa Murdock, Vassilis ...
ICPR
2010
IEEE
15 years 3 months ago
Robust Foreground Object Segmentation via Adaptive Region-Based Background Modelling
We propose a region-based foreground object segmentation method capable of dealing with image sequences containing noise, illumination variations and dynamic backgrounds (as often...
Vikas Reddy, Conrad Sanderson, Brian C. Lovell
IEEEVAST
2010
15 years 20 days ago
Understanding text corpora with multiple facets
Text visualization becomes an increasingly more important research topic as the need to understand massive-scale textual information is proven to be imperative for many people and...
Lei Shi, Furu Wei, Shixia Liu, Li Tan, Xiaoxiao Li...