Sciweavers

10891 search results - page 345 / 2179
» Combining Model Reductions
Sort
View
TNN
2008
177views more  TNN 2008»
15 years 6 months ago
Adaptive Importance Sampling to Accelerate Training of a Neural Probabilistic Language Model
Previous work on statistical language modeling has shown that it is possible to train a feed-forward neural network to approximate probabilities over sequences of words, resulting...
Yoshua Bengio, Jean-Sébastien Senecal
ATVA
2005
Springer
108views Hardware» more  ATVA 2005»
16 years 6 days ago
Multi-valued Model Checking Games
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
Sharon Shoham, Orna Grumberg
ADVIS
2004
Springer
16 years 2 days ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
Costin Badica, Chris Fox
SIGIR
1999
ACM
15 years 11 months ago
A Similarity-based Probability Model for Latent Semantic Indexing
A dual probability model is constructed for the Latent Semantic Indexing LSI using the cosine similarity measure. Both the document-document similarity matrix and the term-term ...
Chris H. Q. Ding
ICASSP
2009
IEEE
15 years 10 months ago
Neural network based language models for highly inflective languages
Speech recognition of inflectional and morphologically rich languages like Czech is currently quite a challenging task, because simple n-gram techniques are unable to capture impo...
Tomas Mikolov, Jirí Kopecký, Lukas B...