نتایج جستجو برای: logic synthesis
تعداد نتایج: 554903 فیلتر نتایج به سال:
Previous work on speech-to-speech translation has su ered from problems of brittleness and low quality (rule-based approaches), or from excessive data requirements and linguistic ine ciency (analogical or example-based approaches). In this paper, we present a probabilistic approach to analogical speech translation, and describe its integration with linguistic processing. The evaluation results ...
.......................................................................................................................... xiii Chapter
In this paper, we present a basic set of methods to guide a proof in the Whelk logic program synthesis system. Starting from the methods used in the Oyster/CL A M system, designed for a functional context, we developed some proof \critics" to solve the cases in which those methods are blocked in a relational context. The application of those methods and proof critics is illustrated by an exampl...
This research highlight overviews the development roadmap of digital design and manufacturing and focuses on the future development directions under the Industries 4.0.
This paper describes an ongoing research, SpaceCustomiser : InterActive, [SC : IA] which deals with development of digital design strategies based on non-Euclidean geometries, whereas the body in movement generates interactively architectural SPACE. The input – movement – is being electronically processed in such a way that the output represents a continuous, real-time modification of the space...
Program synthesis research aims at maximally automating the passage from specifications to programs (see the survey by Biermann, 1992). We define possible formalisms for the starting points (specifications: see Section 1.1) and results (programs: see Section 1.2) of synthesis, and state existing approaches and related work, before pinning down the objectives (Section 1.3) of this paper. Some fa...
A great number of factors affect the uncomfortable of seats. Apart from external appearance, the most important is the comfort for users in designing an un-adjustable seat. A system or suggested principles which assist designers in designing the comfort of the seats to testees will benefit waist of users, and hence prevent them from potential discomfort and injuries. This study attempts to deve...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید