572 search results - page 37 / 115 » A Neural Probabilistic Language Model |
CAV
2012
Springer
13 years 4 days ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
FLAIRS
2008
15 years 1 days ago
2008
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
COLING
2008
14 years 8 months ago
2008
The most critical issue in generating and recognizing paraphrases is development of wide-coverage paraphrase knowledge. Previous work on paraphrase acquisition has collected lexic...
EMNLP
2010
14 years 7 months ago
2010
We define a probabilistic morphological analyzer using a data-driven approach for Syriac in order to facilitate the creation of an annotated corpus. Syriac is an under-resourced S...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...