17298 search results - page 319 / 3460 » Abstract computing machines |
194
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...
173
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
- The problem of stochastic sequential machines (SSM) synthesis is addressed and its relationship with the constrained sequence generation problem which arises during power estimat...
150
click to vote
ICDCS
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
200
click to vote
ACL
2010
15 years 4 months ago
2010
The pipeline of most Phrase-Based Statistical Machine Translation (PB-SMT) systems starts from automatically word aligned parallel corpus. But word appears to be too fine-grained ...
167
click to vote
ACL
2010
15 years 4 months ago
2010
Factored Statistical Machine Translation extends the Phrase Based SMT model by allowing each word to be a vector of factors. Experiments have shown effectiveness of many factors, ...