Sciweavers

19130 search results - page 203 / 3826
» Modelling multi-path problems
Sort
View
CONCUR
2003
Springer
15 years 11 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
ICDAR
2009
IEEE
15 years 4 months ago
Language Model Integration for the Recognition of Handwritten Medieval Documents
Building recognition systems for historical documents is a difficult task. Especially, when it comes to medieval scripts. The complexity is mainly affected by the poor quality and...
Markus Wüthrich, Marcus Liwicki, Andreas Fisc...
JMLR
2010
169views more  JMLR 2010»
15 years 1 months ago
Matrix-Variate Dirichlet Process Mixture Models
We are concerned with a multivariate response regression problem where the interest is in considering correlations both across response variates and across response samples. In th...
Zhihua Zhang, Guang Dai, Michael I. Jordan
SOCIALCOM
2010
15 years 1 months ago
The Swarm Model in Open Source Software Developer Communities
Most of the current swarm model studies and applications try to mimic the collective behaviors of social animals, such as birds and ants. The studies seek to solve tasks similar to...
Xiaohui Cui, Justin M. Beaver, Everett Stiles, Lau...
ICASSP
2011
IEEE
14 years 10 months ago
A hierarchical generative model for Generic Audio Document Categorization
In this paper, we call the pattern classification problem that consists in assigning a category label to a long audio signal based on its semantic content as Generic Audio Documen...
Zhi Zeng, Shuwu Zhang