344 search results - page 32 / 69 » Hierarchical Pitman-Yor Language Model for Machine Translati... |
SAS
2007
Springer
15 years 6 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
NAACL
2007
15 years 1 months ago
2007
The aim of this work is to show the ability of finite-state transducers to simultaneously translate speech into multiple languages. Our proposal deals with an extension of stocha...
IJIT
2004
15 years 1 months ago
2004
In the paper a method of modeling text for Polish is discussed. The method is aimed at transforming continuous input text into a text consisting of sentences in so called canonical...
POPL
2000
ACM
15 years 3 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
120
click to vote
ISORC
1999
IEEE
15 years 4 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...