Sciweavers

30267 search results - page 73 / 6054
» Process Modelling Languages
Sort
View
UAI
2008
15 years 5 months ago
Church: a language for generative models
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
Noah Goodman, Vikash K. Mansinghka, Daniel M. Roy,...
CIVR
2008
Springer
213views Image Analysis» more  CIVR 2008»
15 years 6 months ago
Language modeling for bag-of-visual words image categorization
In this paper, we propose two ways of improving image classification based on bag-of-words representation [25]. Two shortcomings of this representation are the loss of the spatial...
Pierre Tirilly, Vincent Claveau, Patrick Gros
TASLP
2010
97views more  TASLP 2010»
14 years 11 months ago
Hierarchical Bayesian Language Models for Conversational Speech Recognition
Traditional n-gram language models are widely used in state-of-the-art large vocabulary speech recognition systems. This simple model suffers from some limitations, such as overfi...
Songfang Huang, Steve Renals
ENTCS
2008
87views more  ENTCS 2008»
15 years 4 months ago
Process Algebra with Local Communication
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
Muck van Weerdenburg
FM
2009
Springer
127views Formal Methods» more  FM 2009»
15 years 11 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...