4485 search results - page 241 / 897 » Equivalences on Observable Processes |
128
click to vote
EMNLP
2009
15 years 2 months ago
2009
System combination has emerged as a powerful method for machine translation (MT). This paper pursues a joint optimization strategy for combining outputs from multiple MT systems, ...
161
click to vote
EMNLP
2009
15 years 2 months ago
2009
Binarization of Synchronous Context Free Grammars (SCFG) is essential for achieving polynomial time complexity of decoding for SCFG parsing based machine translation systems. In t...
180
click to vote
FORTE
2009
15 years 2 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
144
click to vote
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
The average consensus in wireless sensor networks is achieved under assumptions of symmetric or balanced topology at every time instant. However, communication and/or node failure...
134
click to vote
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
The use of the PC and Internet for placing telephone calls will present new opportunities to capture vast amounts of un-transcribed speech for a particular speaker. This paper inv...