4586 search results - page 665 / 918 » Computing stable models in parallel |
116
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
142
Voted
ACL
2010
15 years 2 months ago
2010
Hierarchical HMM (HHMM) parsers make promising cognitive models: while they use a bounded model of working memory and pursue incremental hypotheses in parallel, they still achieve...
111
Voted
COLING
2010
14 years 11 months ago
2010
In this paper we look at the problem of cleansing noisy text using a statistical machine translation model. Noisy text is produced in informal communications such as Short Message...
172
click to vote
MST
2011
14 years 11 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
147
click to vote
CISS
2010
IEEE
14 years 7 months ago
2010
IEEE
—The approach presented in this paper tackles the active research problem of the fast automatic modeling of large-scale environments from videos with millions of frames and colle...