Sciweavers

3951 search results - page 510 / 791
» Automatic amortized analysis
Sort
View
ISF
2011
15 years 1 months ago
A multi-region empirical study on the internet presence of global extremist organizations
Abstract Extremist organizations are heavily utilizing Internet technologies to increase their abilities to influence the world. Studying those global extremist organizations’ In...
Jialun Qin, Yilu Zhou, Hsinchun Chen
PR
2011
15 years 1 months ago
A variational Bayesian methodology for hidden Markov models utilizing Student's-t mixtures
The Student’s-t hidden Markov model (SHMM) has been recently proposed as a robust to outliers form of conventional continuous density hidden Markov models, trained by means of t...
Sotirios Chatzis, Dimitrios I. Kosmopoulos
WWW
2011
ACM
15 years 1 months ago
Investigating topic models for social media user recommendation
This paper presents a user recommendation system that recommends to a user new friends having similar interests. We automatically discover users’ interests using Latent Dirichle...
Marco Pennacchiotti, Siva Gurumurthy
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
INTERSPEECH
2010
15 years 1 months ago
The prosody of Swedish conversational grunts
This paper explores conversational grunts in a face-to-face setting. The study investigates the prosody and turn-taking effect of fillers and feedback tokens that has been annotat...
D. Neiberg, J. Gustafson