Sciweavers

77016 search results - page 577 / 15404
» Modelling
Sort
View
EMNLP
2009
15 years 4 months ago
Sinuhe - Statistical Machine Translation using a Globally Trained Conditional Exponential Family Translation Model
We present a new phrase-based conditional exponential family translation model for statistical machine translation. The model operates on a feature representation in which sentenc...
Matti Kääriäinen
ICST
2009
IEEE
15 years 4 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
AAAI
2010
15 years 4 months ago
A Topic Model for Linked Documents and Update Rules for its Estimation
The latent topic model plays an important role in the unsupervised learning from a corpus, which provides a probabilistic interpretation of the corpus in terms of the latent topic...
Zhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Y...
SCN
2011
Springer
292views Communications» more  SCN 2011»
15 years 2 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
INTERSPEECH
2010
15 years 1 months ago
Combining user intention and error modeling for statistical dialog simulators
Statistical user simulation is an efficient and effective way to train and evaluate the performance of a (spoken) dialog system. In this paper, we design and evaluate a modular da...
Silvia Quarteroni, Meritxell González, Gius...
« Prev « First page 577 / 15404 Last » Next »