425 search results - page 42 / 85 » Automated Synthesis of Multitolerance |
LOPSTR
2000
Springer
14 years 9 days ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...
FDL
2008
IEEE
14 years 3 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
CSL
2006
Springer
13 years 8 months ago
2006
Springer
This paper describes a hand-written rule-based grapheme-to-phoneme (GTP) conversion system for Korean built within the Festival text-to-speech (TTS) synthesis framework. The core ...