Sciweavers

134 search results - page 1 / 27
» On Formalisms And Analysis, Generation And Synthesis In Mach...
Sort
View
ICASSP
2011
IEEE
12 years 9 months ago
An analysis of machine translation and speech synthesis in speech-to-speech translation system
This paper provides an analysis of the impacts of machine translation and speech synthesis on speech-to-speech translation systems. The speech-to-speech translation system consist...
Kei Hashimoto, Junichi Yamagishi, William J. Byrne...
FASE
2007
Springer
13 years 11 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
COLING
1990
13 years 6 months ago
A Type-theoretical Analysis of Complex Verb Generation
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
Satoshi Tojo
ENTCS
2006
176views more  ENTCS 2006»
13 years 5 months ago
Automatic Formal Synthesis of Hardware from Higher Order Logic
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Sl...